git-gui: set version 0.20