git-gui: add config value gui.diffopts for passing additional diff options