Merge pull request #8 from klee-web/docker-circle-cache

Docker circle cache