Get docs working nicely with readthedocs.org