A simulator of the ajax crawling protocol