Add support for the auto mirror feature

to workaround the gitlab repository mirror problem reported here: https://support.gitlab.com/hc/en-us/requests/504948

Signed-off-by: Yongqin Liu yongqin.liu@linaro.org