[tor-announce] Tor stable release 0.4.5.16 and 0.4.7.13