[tor-dev] Prototype of a next-generation Tor control interface