A web crawler(spider) especially for the BrowserBenchmark