Put run_correctness_testing.py under version control.