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.