A working Dockerfile to generate the website of the Coq packages