This commit adds an auto-generated `infos.json` to our website based on
information provided in the `settings.py`.
These infos are now also used to fill some infos on the website.