This script reads images.txt and copies the images from docker.io (or other registries) to the local registry in the CI. Signed-off-by: Niels de Vos <ndevos@redhat.com>