Update CI platforms.

[nnethercote]

• Remove Ubuntu 22.04. 24.04 is the most recent LTS and it's 1.5 years old; we don't need 22.04 as well.

• Add CUDA 13.0 pairings with Ubuntu 24.04 and Windows. This requires adding an ubuntu24-cuda13 Dockerfile.

[nnethercote]

I haven't added any CUDA 13 stuff to CI yet. Here are all the places it could be added:

ci_linux.yml
------------
build:
- ubuntu22-cuda12:    x86-64, ARM64
- ubuntu24-cuda12:    x86-64, ARM64
- ubuntu24-cuda13:    x86-64, ARM64  // Add?
- rockylinux9-cuda12: x86-64

test:
- ubuntu22-cuda12:    x86-64, ARM64
- ubuntu24-cuda12:    x86-64, ARM64
- ubuntu24-cuda13:    x86-64, ARM64  // Add?

ci_windows.yml
--------------
everything
- cuda 12.8.1:        x86-64
- cuda 13.0.2:        x86-64         // Add?

container_images.yml
--------------------
build-images
- ubuntu22-cuda12:    x86-64, ARM64
- ubuntu24-cuda12:    x86-64, ARM64
- ubuntu24-cuda13:    x86-64, ARM64  // Add?
- rockylinux9-cuda12: x86-64, ARM64

Should I add it to all the possible places? I know the Rocky Linux stuff underwent some recent changes and I am unclear about the how and why it's not used with ARM on build and not used at all on test.

[nnethercote]

Ugh, I guess I need to do the new docker stuff in one PR and then start using the new images in a subsequent PR. I'll break this PR into multiple pieces.