git-gui: Created very crude Tools menu, to support miga.