~robust svngitdiff.py, GIT_EXE; cleaner DIFF vars