git-gui: Increase the default height of the revision picker