Add run-big-benchmarks.py script