an HTTP proxy server that caches