Remove memory limit restrictions from worker
Merge pull request #29 from klee-web/disable_memory_limit

Remove memory limit restrictions from worker