[tor-announce] Tor stable release 0.4.5.13, 0.4.6.11 and 0.4.7.9