Update docs config to build on ReadTheDocs, use ReadTheDocs theme when building HTML docs locally.