This adds an option "-v" which makes "git prune" more verbose:
It outputs all removed objects while removing them.
Signed-off-by: NMichael J Gruber <git@drmicha.warpmail.net>
Signed-off-by: NShawn O. Pearce <spearce@spearce.org>