Move all custom docker images to quay.io

Docker hub has started to remove unused images from free accounts, which
means that it might remove images used by this pipeline without notice.
Therefore the pipeline now exclusively uses images from quay.io or
official repositories from docker hub, which do not have this
limitation.
8 jobs for devel