Documentation/config.txt: Add git-gui options