git-gui: Support more merge tools.