Use readthedocs Sphinx theme when generating docs locally