[tor-announce] Tor 0.3.5.7 is released