Speed up builds by using CI/CD cache

[umonkey]

Instead of having a single build Dockerfile, we need to use a Docker builder image to produce the right binaries in the host system, capturing the intermediate files.