Changed documentation theme to sphinx_rtd_theme

* Changed local documentation html_theme to the Sphinx theme (sphinx_rtd_theme)
provided by 'Read the Docs' (readthedocs.org)
* Tweaked documentation config to avoid the issue that causeses ReadTheDocs to
fail when using the same config (that imports sphinx_rtd_theme) locally