Added timeout to jobs
Remove ANSI escape codes from KLEE output
Merge pull request #16 from klee-web/time_limit

Added timeout to jobs
Merge pull request #17 from klee-web/ansi_escape_clean

Remove ANSI escape codes from KLEE output
Allow WorkerRunner's to be created without a callback endpoint
Moved worker runner to separate file
Merge pull request #19 from klee-web/optional_callback

Optional callback
Bugfix for visual feedback of multiple submission
Merge pull request #18 from klee-web/multiple-submit-fix

Bugfix for visual feedback of multiple submission
Updated the admin panel so that you can now change the settings of the workers