Crawler for an Ajax-based web application