Wait for git diff to finish in git difftool