Minimal lib to make all Python network connections through Tor