Switch KLEE Docker to LLVM3.4
Merge pull request #35 from klee-web/docker-build-fixes

Switch KLEE Docker to LLVM3.4
Add cleanup to docker run command