Minimal eval server patch

Known issues: requires bash, and does not support time or memory limits.
(Note that ulimit -t would be useless as that only handles CPU time, not
wall time.)