Generate list of constants automatically

Use MkDocs to generate the list of available constants, and deploy continuously to Gitlab Pages.