cleanup: remove python deps from python microkit

DEVELOPER.md

@@ -49,7 +49,7 @@ On a Debian-like system you can do:
     $ rustup component add rust-src --toolchain stable-x86_64-unknown-linux-gnu
     $ python3.12 -m venv pyenv
     $ ./pyenv/bin/pip install --upgrade pip setuptools wheel
-    $ ./pyenv/bin/pip install -r requirements.txt
+    $ ./pyenv/bin/pip install --upgrade sel4-deps
 
 If you do not have Python 3.12 available, you can get it via the
 *deadsnakes* PPA: https://launchpad.net/~deadsnakes/+archive/ubuntu/ppa

ci/install_ubuntu_deps.sh

@@ -34,4 +34,4 @@ sudo apt-get install -qq \
 
 python3.12 -m venv pyenv
 ./pyenv/bin/pip install --upgrade pip setuptools wheel
-./pyenv/bin/pip install -r requirements.txt
+./pyenv/bin/pip install --upgrade sel4-deps

flake.nix

@@ -38,10 +38,8 @@
         );
 
         python = pkgs.python312;
+        # sel4-deps
         pythonPackages = python.withPackages (ps: [
-          ps.mypy
-          ps.black
-          ps.flake8
           ps.ply
           ps.jinja2
           ps.pyaml