Misc changes for readthedocs.org needed to build our documentation.