Create JSON wiht tpo's mirrors
Modify the update-mirrors.pl file, so it generates both tor-mirrors.csv and the JSON file.
Create a new (simpler) script in Python that opens the tor-mirrors.csv file and generates the JSON file.
I'd say option 2), but that involves a new script that should be periodically executed.
We should also have an URL for this new file; I propose tpo/getinvolved/mirrors
Ideally, this option would be helpful to gettor (since it could easily get a list of mirrors to send) and any other app out there that needs an easy way to process a list of tpo's mirrors (e.g. duckduckgo instant answer).