message: Use subprocess module to allow for Ctrl+C of python process
diff: -import os, sys, time
  +import os, sys, time, subprocess
  # move to the base directory
  path = os.path.dirname(sys.argv[0])
  @@ -8,6 +8,9 @@ if len(path) > 0:
  os.chdir("..")
  while True:
  - if os.system('python run_benchmarks.py') == 0:
  - os.system('python benchmark_html.py')
  + proc = subprocess.Popen('python', 'benchmark/run_benchmarks.py')
  + proc.wait()
  + if proc.returncode == 0:
  + proc = subprocess.Popen('python', 'benchmark/benchmark_html.py')
  + proc.wait()
  time.sleep(60)
  