Terminate diff-* on non-zero exit from GIT_EXTERNAL_DIFF