Add mike to dev/requirements.txt

[echoix]

Fixes #3053, deploying docs missing mike

Proposed Changes

1. …
2. …
3. …

Readiness Checklist

Author/Contributor

• Add entry to the CHANGELOG listing the change and linking to the corresponding issue (if appropriate)
• If documentation is needed for this change, has that been included in this pull request

Reviewing Maintainer

• Label as breaking if this is a large fundamental change
• Label as either automation, bug, documentation, enhancement, infrastructure, or performance

[github-actions]

🦙 MegaLinter status: ⚠️ WARNING

Descriptor	Linter	Files	Fixed	Errors	Elapsed time
✅ BASH	bash-exec	5		0	0.11s
✅ BASH	shellcheck	5		0	0.4s
✅ BASH	shfmt	5	0	0	0.51s
✅ COPYPASTE	jscpd	yes		no	4.24s
✅ DOCKERFILE	hadolint	123		0	12.59s
✅ JSON	eslint-plugin-jsonc	23	0	0	3.99s
✅ JSON	jsonlint	21		0	0.25s
✅ JSON	v8r	23		0	18.16s
✅ MAKEFILE	checkmake	1		0	0.0s
⚠️ MARKDOWN	markdownlint	255	0	11	7.16s
✅ MARKDOWN	markdown-link-check	255		0	7.91s
✅ MARKDOWN	markdown-table-formatter	255	0	0	49.75s
✅ OPENAPI	spectral	1		0	1.87s
⚠️ PYTHON	bandit	200		61	4.91s
✅ PYTHON	black	200	0	0	4.69s
✅ PYTHON	flake8	200		0	2.98s
✅ PYTHON	isort	200	0	0	1.32s
✅ PYTHON	mypy	200		0	13.91s
✅ PYTHON	pylint	200		0	15.8s
⚠️ PYTHON	pyright	200		352	23.53s
✅ PYTHON	ruff	200	0	0	0.58s
✅ REPOSITORY	checkov	yes		no	35.66s
✅ REPOSITORY	git_diff	yes		no	0.47s
⚠️ REPOSITORY	grype	yes		1	22.64s
✅ REPOSITORY	secretlint	yes		no	10.55s
✅ REPOSITORY	trivy	yes		no	39.64s
✅ REPOSITORY	trivy-sbom	yes		no	23.24s
⚠️ REPOSITORY	trufflehog	yes		1	17.27s
✅ SPELL	cspell	665		0	30.82s
✅ SPELL	lychee	335		0	4.44s
✅ XML	xmllint	3	0	0	0.51s
✅ YAML	prettier	160	0	0	6.69s
✅ YAML	v8r	102		0	146.52s
✅ YAML	yamllint	161		0	2.1s

See detailed report in MegaLinter reports

MegaLinter is graciously provided by

[echoix]

Once the trivy can be fixed (or bypassed), this PR fixes the docs pipeline that was broken since I didn't look close enough yesterday when merging something. And I can't merge my own PRs, obviously

[nvuillam]

Great :)