A Python controller library for Tor