Inlined deletion into RUN commands.
Reduced Docker image size and speeded up LLVM build.
Merge pull request #5 from klee-web/docker

Docker