chiguri/coq_base_dockerfile

Docker file for image to build Coq