Update Sphinx and sphinx_rtd_theme

Update Sphinx-related Python packages to their current versions pulled in by "pip install sphinx-rtd-theme" run in a fresh virtual environment.