docs: set site_url to fix broken 404 page on RTD (#450)

### Summary of Changes

The 404 page was previously not properly rendered on Read the Docs
(RTD). This PR overrides the build commands of RTD. While this makes the
404 page work properly, it also removes the RTD flyout to select a
version. For now, however, we deem the 404 page as more essential.

Once readthedocs/readthedocs.org#8529 is done,
we can use the default build again to make everything work as expected.

---------

Co-authored-by: megalinter-bot <[email protected]>

Author: lars-reimann

mkdocs.yml

@@ -1,6 +1,8 @@
 site_name: Safe-DS DSL
 repo_url: https://github.com/Safe-DS/DSL
 repo_name: Safe-DS/DSL
+edit_uri: edit/main/docs/
+site_url: !ENV READTHEDOCS_CANONICAL_URL
 
 nav:
   - Home:

readthedocs.yml

@@ -4,10 +4,16 @@ build:
   os: ubuntu-22.04
   tools:
     python: '3.10'
+  commands:
+    - python -mvirtualenv $READTHEDOCS_VIRTUALENV_PATH
+    - python -m pip install --exists-action=w --no-cache-dir -r docs/requirements.txt
+    - cat mkdocs.yml
+    - mkdocs build --clean --site-dir $READTHEDOCS_OUTPUT/html --config-file mkdocs.yml
 
 mkdocs:
   configuration: mkdocs.yml
-
-python:
-  install:
-    - requirements: docs/requirements.txt
+# Once https://github.com/readthedocs/readthedocs.org/issues/8529 is fixed, replace the commands above with the
+# following to use the default RTD build steps again:
+#python:
+#  install:
+#    - requirements: docs/requirements.txt