Ways to speed up Docker image builds

[driazati]

These currently take in the neighborhood of 30-40 minutes, we could reduce this time by

• installing cmake binaries from a PPA instead of building from source (see [ci][docker] Always build cmake from source #12774)