Use the mirrors instead of pulling directly from dl.
This speeds up the download considerably, which is nice for our users.
There is a risk here that some mirrors might not have all of the
artifacts, but that's a risk that other editions have, too. The risk is
worth the gain in performance.
Fixes #164