CI: Use new Docker images

This is phase 3 of the change to smaller Docker images and leaner CI.

Unreviewed; the only sensible review for this commit is whether the builds succeed!