HTTP proxy in Python