Update GitLab CI variables to new 9.0+ names

5 jobs for master in 1 minute and 48 seconds (queued for 13 seconds)
latest
Status Job ID Name Coverage
  Mirror
passed #970
gitmirror
Mirror to github

00:00:19

 
  Build
passed #1071
docker
Build master

00:01:29

passed #971
docker
Build master

00:00:15

 
  Deploy
passed #1072
Build branch on Docker Hub

00:00:57

passed #972
Build branch on Docker Hub

00:00:02