[tor-mirrors] Mirror update

[Michael Kohl]

Hi all,

after the unpleasant incident with Server4You a couple of weeks ago, I
have some good news. We moved to a new hosting provider, our relay is
back up again! :-)

There also were some changes to the mirror ([[:bbs:]]): it's still
available through HTTP and HTTPS (with a self-signed cert), but now
also /dist is finally available over both protocols. Please update the
mirror list accordingly once you verified that everything is as it
should be.

Cheers,
Michael