Parent image for Docker images of Coq (WARNING: This repository is not active anymore)