Use template engine to generate documentation
We currently append the list of constants in a python script to a template markdown document.
A cleaner way to do it (which also extends the possibilities for formatting the final markdown) is to use templating. Jinja is an example of Python templating engine that we could use.