introduce 'REGISTRY' argument to all DockerfilesThis is initialized to docker.io, keeping the default behaviourif not specified. However, it allows us to specify a privateregistry later on.Related: OS#4839Change-Id: I32d4ee6256033c809108c1b86cb6b6c58d880f49