Make parallelized run_corpus_tests.py handle ctrl-c.