Modernise our lint tooling by:
- Replacing pyenv + pip with uv for better Python environment and dependency management
- Move uv ruff and ty to install via COPY --from multi-stage Docker image imports
- Moving ruff lint rules from hardcoded Rust array (in lint_py.rs) into a top-level ruff.toml
- Extracting all remaining pip dependencies into dedicated ci/lint/requirements.txt
Extra rationale:
COPY --from pulls pre-built binaries from upstream images instead of compiling/downloading at runtime. Containerfile layer optimisations reduce rebuild frequency further.
Pinning tool versions in the dockerfile makes it more excplicit and easier to find.
The tradeoff we make here is that there is no longer a single install script to install tooling on a local machine. However I think this is OK, as it currently only works for apt-based OSes anyway, and I don't think running the linter outside of the container is such a valuable use-case as it is with some of the other CI jobs.