Add secondary mirror for docker.io and set default_mirror

Remi Le Trocquerrequested to merge
default_mirror into main

Add a secondary mirror for docker.io (proxy cache on Harbor) and configure set_default_mirror to prevent the server from accessing docker.io directly

Merge request reports