Doc versioning

[olirice]

What kind of change does this PR introduce?

Add versioning and a version selector to docs via mike

This change allows

Deployment

Initial Setup

On initial setup, delete existing docs

mike delete --all

Build docs locally under a version name and an alias

mike deploy --update-aliases 0.3 latest

add --push to deploy to GitHub Pages

Build docs locally without an alias

mike deploy 0.3

Serve docs locally

mike serve

Set default version

mike set-default 0.3

See preview

[olirice]

could you check if

pip install -e '.[docs]'

works for you?

[egor-romanov]

could you check if

pip install -e '.[docs]'

works for you?

Yep, works 👍