git-gui: Added repack database menu option, to invoke git repack.