A Portable HTTP Proxy and DNS Redirector