Documentation preparation for "make public"

[aiAdrian]

Target

Overwork all documents - remove AIcrowd dependency

• Search all file (work through): https://github.com/flatland-association/flatland-book (<- https://gitlab.aicrowd.com/flatland/flatland-book)
• Readme.md
• GitHub Pages
  • https://github.com/actions/upload-pages-artifact
  • https://pages.github.com/
  • https://github.com/actions/deploy-pages
• What about docs folder in this repo? Still deployed? Is all of its content covered by the book?
• What about docstrings code documentation?
• pr on aicrowd to link to current documentation -> https://gitlab.aicrowd.com/flatland/flatland-book/-/merge_requests/12
• add links from .... to GitHub pages

[chenkins]

@manuschn I suggest using GitHub Pages for deploying up-to-date Flatland documentation. Any reservations?

[chenkins]

GitHub Pages

[chenkins]

API docs currently not generated:

• https://github.com/flatland-association/flatland-book/blob/ddc13abc79535a0b53854854f9d90195a90696b5/_toc.yml#L34-L36
• https://github.com/flatland-association/flatland-book/blob/main/import_env_doc.sh#L21
• https://github.com/flatland-association/flatland-rl/blob/main/Makefile#L20 -> output empty