Make sphinx_rtd_theme optional