Use readthedocs HTML theme locally

This makes the HTML docs look nice like the online docs by using the RTD theme.
You have to `pip install sphinx_rtd_theme` to make this work.