Use numeric versioning for Ubuntu images?

[jonashaag]

The non-micromamba Ubuntu 22.04 image is ubuntu:22.04. The micromamba Ubuntu 22.04 image is jammy. How about we add an additional tag ubuntu-22.04 or similar?

[wholtz]

Yes. I can also add numeric version for the Debian images. It will require some new code in the CD pipeline, so I'm not sure how quickly I'll get this done.

[wholtz]

This is done in fda4370. The images with the new tags are not yet populating the container repositories, but should be shortly once I fix a bit of the CD pipeline. See #526