Minor improvements

* Display short refs for things we delete, as an insurance policy.
* Delete tags as well as branches.
* Make it run faster. It'd probably be faster yet to search the list of branch change ids (small) for each change id in the log (large), rather than the way we currently do it. Work for the future.