Adapt documentation creation and installation code.

Note that the Sphinx documentation deployment is still missing.