ediff setup as default git diff/merge tool