Integrate BenchExec's runexec

[sim642]

In light of #21, better resource management and isolation should be used for tool runs. Since BenchExec has already solved these issues and is also written in Python, it would be good to be able to reuse these components from BenchExec for single tool runs. GobExec's role would still be to easily support our more involved evaluation schemes.