Setting-up documentation hosting at readthedocs.org.