GetTor should have a way to send TPO mirrors
As the summary says. This is part of the work being done in the Summer of Privacy 2015. I've created a script to get the mirrors from tpo in a secure manner here (it's my first experience with Twisted, so reviews are welcome). For the moment, it downloads tor-mirrors.csv and makes a json from that file (sample here). After #16601 (moved) this won't be necessary. A sample of the file that would be sent as an attachment to this message (mirrors_message) can be found here. The words 'mirror' and 'mirrors' trigger the option to send the mirrors in the email autoresponder (this is quite straightforward, I don't think it needs review).
It would be great to have opinions about the code and/or the list of mirrors to be sent.