Add cleanup to docker run command
Merge pull request #34 from klee-web/cleanup_docker

Add cleanup to docker run command