git-gui: Support merge.summary, merge.verbosity.