Added caching of docker image to CI runs
Fixed dockerfile.
Changed the tar output to only contain KLEE output files
Moved Docker builds from Docker Hub to Circle CI.
Merge pull request #8 from klee-web/docker-circle-cache

Docker circle cache
Migrated from flask to django