git-gui: Add a --trace command line option