Move all custom docker images to

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 or
official repositories from docker hub, which do not have this
8 jobs for devel