[tor-dev] Tor in Google Summer of Code 2016