switch to gitlab docker repository

4 jobs for master in 8 minutes and 12 seconds (queued for 2 seconds)