Documentation development

The following command deletes previous built documentation and derives docs out of code:

make -C docs apidoc

The following command builds the docs:

make -C docs html

The resulting documentation build should be available in docs/build/html, entry point is index.html