Use KDiff3 as a diff/merge tool for git on Linux