mirrors.txt: use https url if available

Open Kevin Daudt requested to merge mirrors-https-default into master

We want to default to the https url if available, else fall back to the http url, if available.

Edited by Kevin Daudt

Merge request reports