A demonstration of how to replace gwtp-crawler with gwt-pushstate