Circle CI integration

Added Circle CI files and Docker containers needed to run the right environment.