git-gui: Support more git version notations.