Investigate benchexec for running benchmarks

[caizixian]

https://github.com/sosy-lab/benchexec

[qinsoon]

I suggest moving this issue to https://github.com/mmtk/ci-perf-kit/issues. mmtk-core just uses the scripts provided by ci-perf-kit.