.gitconfig: Define merge.tool