git.py: retry execute() to workaround interrupted system calls