bash completion: add git-difftool