Mise

.tool-versions: Same Versions in Dev and CI

Pin runtimes and tools once in .tool-versions, and let both your machine and GitHub Actions read it. Dev and CI stop drifting apart.