[tor-commits] [tor/master] New "GETINFO dormant" to report whether Tor has gone idle