Use the mirror for all builds

Builds fails from time to time, often due to a out-of-sync or broken
mirror. So let's switch to a reliable™ mirror managed by us instead of
rolling the dice on every build.
8 jobs for mirrors in 23 seconds (queued for 353 minutes and 13 seconds)