update git merge+diff tool