Missing focal and bookworm Z3 images break release build

[Baltoli]

The release build for macOS and Arch Linux is broken because we have not published prebuilt Z3 images for Ubuntu Focal or Debian Bookworm.

Symptoms

The Ubuntu Focal and Debian Bookworm packaging jobs failed with an error related to the new prebuilt Z3 images used to speed up CI.

Investigation

A quick look at the z3-images repository suggests that we are just not building or publishing Z3 images for these platforms.

Root Cause

As above.

Fix

The initial fix was to build Focal and Bookworm images:

• Build Focal and Bookworm images z3-images#3

Then, we updated the repository name to get more consistent naming for the Docker images we're pushing:

• Update z3 push location z3-images#4
• Use new Z3 image location #3702