Merge branch 'feature/docker-hub-google-mirror' into 'master'

install-docker.sh: use registry mirror mirror.gcr.io

See merge request !1
1 job for master in 36 seconds (queued for 3 seconds)