gitk: Handle external diff tool with spaces in the path