Prover Ubuntu packages for Jammy

[tillmo]

I see that the following Focal packages are not available for Jammy:

• e-darwin-src
• e-krhyper-src
• leo2-src
• libghc-network-bsd-dev-src
• satallax-src
• zchaff-src

Please provide them also for Jammy.

[jelmd]

libghc-network-bsd-dev comes via ubuntu (jammy/universe) and zchaff should be available on PPA soon. All others are unmaintained OCAML based sources, which need to be fixed first - do not compile on jammy anymore.