Compilation of developer documentation on Read The Docs

We use a separate `doc/requirements.txt` file for building the
documentation. Since on Read The Docs where we cannot install
packages depending on C libraries, we mock these packages in
`doc/conf.py` and omit them from the requirements.