cleanup: remove python deps from python microkit

These have somehow stuck around. What we really want is
the sel4-deps so we can just install that package, we
don't need black and mypy and flake8 et al when we are not
a python project.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>

Author: midnightveil

.flake8

@@ -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

DEVELOPER.md

@@ -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

ci/install_ubuntu_deps.sh

@@ -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