How to use a graphical diff tool with git