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

Closes #443

### 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.

Author: lars-reimann

mkdocs.yml

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

readthedocs.yml

@@ -4,13 +4,21 @@ build:
   os: ubuntu-22.04
   tools:
     python: '3.10'
-  jobs:
-    # https://docs.readthedocs.io/en/stable/build-customization.html#install-dependencies-with-poetry
-    post_create_environment:
-      - pip install poetry
-      - poetry config virtualenvs.create false
-    post_install:
-      - poetry install --with docs
+  commands:
+    - pip install poetry
+    - poetry config virtualenvs.create false
+    - poetry install --with docs
+    - cat mkdocs.yml
+    - mkdocs build --clean --site-dir $READTHEDOCS_OUTPUT/html --config-file mkdocs.yml
+# 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:
+#  jobs:
+#    # https://docs.readthedocs.io/en/stable/build-customization.html#install-dependencies-with-poetry
+#    post_create_environment:
+#      - pip install poetry
+#      - poetry config virtualenvs.create false
+#    post_install:
+#      - poetry install --with docs
 
 mkdocs:
   configuration: mkdocs.yml