Produce and use a docker-image-builder docker container

Avoid re-installing docker all the time