Display a short ref for branches we delete
Delete .mailed tags
Let git log do the initial filtering for Change-Id

Speeds up git cleanup on current Go repo from
~600ms to ~450ms on my machine.
Merge pull request #1 from josharian/mo-betta

Minor improvements