Added timeout to jobs
Merge pull request #16 from klee-web/time_limit

Added timeout to jobs