The Polipo caching HTTP proxy