Use 4.13.0 and build noble, house-keeping

[jberthold]

• Bump Z3 version to 4.13.0 (in preparation for bump z3 version to 4.13.0 haskell-backend#4032 and downstream follow-ups)
• Build a Z3 image for Ubuntu 24.04 LTS (noble)
• Add information to README.md
• Adjust workflow name for master-push.yml

[jberthold]

While we are at it, we could go the extra mile:

• Use a matrix in the github job that builds the image for the different distros (special-casing the debian one). Images would be built in parallel on different runners.
• Remove the duplication of Build Z3 Image in master-push.yml by making it depend on the Test PR workflow

Maybe not worth the headache for something we touch once a year, though...

[ehildenb]

We don't need debian anymore I don't think. Thanks for the PR!