add run_benchmark script

This is to be the top-level script. I handles timeouts and killing
all the child processes. It will handle the time measuring and
memory usage
use run_benchmark

use this script instead of run_on_benchmark.sh as a top-level script.
This now handles everyting except fo r printing the versions of
symbiotic. For this some changes in the slicer must be implemented
though.