A benchmarking tool for Web proxies