A simple Python controller library for Tor