Use more weight in the JSON mirror pool
Right now we are only using 0, 1, and 2 in our JSON pool:
- 2: super mirror (right now mirrors.wikimedia.org and archive.torproject.org, previously also mirrors.kernel.org)
- 1: default
- 0: disabled
@CyrilBrulebois suggested to use more different weights to improve our overall reliability despite failures on some mirror.
For example, we could have:
- 10: super mirror
- 5: reliable mirror (0 failure in the past 12 months)
- 2: default
- 1: unreliable mirror (1 failure in the past 6 months)
- 0: disabled