HTTP proxy server written in Python.