Adjusting documentation conf.py for readthedocs.org