dot/gitconfig.in: Run `diff-highlight' from the path, if it's there.