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
Merge pull request #34 from klee-web/cleanup_docker

Add cleanup to docker run command
Failing test cases displayed.
Restyled test run results
Fixed webdriver test