Migrate away from mkdocs

[domenkozar]

We have two options:

• zensical, successor to mkdocs(-material)
• astro

Migrating to astro might give us more benefits if we're doing the migration, but we have to be really careful not to break any urls.