git-gui: Allow forcing display encoding for diffs using a submenu.