1st PR on develop branch for easybuild-docs

ping
can you document why this trick is being used?

and please fix the `on_rtd` definition:
```python
on_rtd = os.environ.get('READTHEDOCS', False)
```