readthedocs: Switch the builder to dirhtml

[Bjwebb]

I will also set up redirects from the old to the new, as described at https://docs.readthedocs.io/en/stable/user-defined-redirects.html#changing-your-sphinx-builder-from-html-to-dirhtml