Publish docs to readthedocs
Summary
This MR adds some requirements and config files for the automatic deployment.
Changes
- .readthedocs.yaml (config for readthedocs)
- docs/source/requirements.txt (dependencies for building the docs, i.e. rst2pdf)
Current Version
A current version can be seen on https://conml.readthedocs.io/en/latest/ .
Notes
If you want to change the pipeline, please contact @ts99nami who holds the readthedocs project (which should be changed in the future since I'm leaving the university).