CI: use docker images from gbonnefille registry

5 jobs for !397 with ci_change_registry in 55 minutes and 21 seconds (queued for 3 seconds)
detached
Status Name Job ID Coverage
  Build
passed native-build #919

00:26:13

passed shark-build #923

00:29:08

failed native-build #915

00:03:23

failed shark-build #916

00:03:46

failed shark-build #920

00:04:51