Restrict simulation on worker side

[jdede]

Make sure a simulation will not crash the underlying (physical) machine.

c.f. http://coldattic.info/post/40/

[jdede]

Limiting on docker run, i.e. container level seems to work using
https://docs.docker.com/config/containers/resource_constraints/

Limits inside the container seems to work with

• https://github.com/pshved/timeout but this in not using cgroups
• https://github.com/sosy-lab/benchexec has a tool named runexec which allows limiting the resources of a process. This one is python-based (https://github.com/sosy-lab/benchexec/blob/master/doc/runexec.md)

@asangau do you have time to check this?

[jdede]

Use server config API as implemented in f3b833d