An HTTP benchmarking tool