Preparing the 4.0 branch
Merge branch 'crawljax-4.0' of https://github.com/erwinvaneyk/crawljax into crawljax-4.0