Improved doc generation

Autogenerate a website for PDI.

Ideally, we should use gitlab-pages to serve this automatically. In the meantime, it is updated every 5 minutes at https://pdi.julien-bigot.fr/