Readthedocs.org requires a config file for the happy documentation

[andreasabel]

The Read the Docs build system will start requiring a configuration file v2 (.readthedocs.yaml) starting on September 25, 2023.