Run klee as non-root user
Merge pull request #42 from klee-web/docker_non_root

Run klee as non-root user