git-gui: Allow Tools request arguments from the user.