Updated Dockerfile
Updated .gitignore
Compiling with coq.dev