Z3 does not build by default on ubuntu 24.04

[thomas-lamiaux]

I tried to install z3 with opam on ubuntu 24.04, which fails with the following error message

opam install z3.4.13.0
[ERROR] Package z3.4.13.0 depends on the unavailable system package
'python3-distutils'. You can use `--no-depexts' to attempt installation
anyway.

It seems that z3 relies on the dependency distutils that is no longer available by default in Python 3.12 and above, as in ubuntu 24.04. Consequently preventing the automatic installation of z3 by opam.

(I was asked to report this issue after discussions on the coq zulip)