Add sphinx_rtd_theme to docs; provide docs build instructions

The sphinx_rtd_theme is used by ReadTheDocs; enabling it locally
means that it's possible to see exactly what the published
documentation will look like.