website

This is Rmod team website sources. Changes made on pillar files generate HTML that are automatically published to https://rmod.gitlabpages.inria.fr/website/