Python tools for interacting with the Tor local server