kdiff3 as default mergetool in git