git-difftool: detect and handle renamed files