git-gui: Add a menu of available encodings.