to unindex repos when deleted. this changeset also includes a tweak to the NewRepo event, to fix a bug with the document IDs of new repos (it was always zero). Signed-off-by: oppiliappan <me@oppi.li>