machines/debian11: Python bindings for z3 are now in python3-z3
machines/debian11: Python bindings for z3 are now in python3-z3

cf. https://packages.debian.org/source/bullseye/z3 and
https://salsa.debian.org/pkg-llvm-team/z3/commit/474df9bc2225ded93de86a7b7b9efa1fe7f1ffaf

fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared