Improve run_benchmark.hs.  Add options.