Make gitprompt more tolerant of multiple Ctrl+C whacks.