git-gui: Add a Tools menu for arbitrary commands.