[tor-mirrors] Mirror update

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