Crawljax: Crawling JavaScript-based Ajax Web Applications - View it on GitHub