Add Mike to documentation workflow for enhanced versioning support

.github/workflows/docs.yml

@@ -24,5 +24,5 @@ jobs:
           path: .cache
           restore-keys: |
             mkdocs-material-
-      - run: pip install mkdocs-material mkdocstrings["python"] mkdocs-include-markdown-plugin
+      - run: pip install mkdocs-material mkdocstrings["python"] mkdocs-include-markdown-plugin mike
       - run: mkdocs gh-deploy --force