use timeout command and bash
add semicolons...
Merge pull request #1 from vasili-zolotov/timeouts

enforce timeouts in runner
Make timeout 20min
Merge pull request #2 from d3ming/timer

Make timeout 20min