Update JavaScript libraries

Should be merged after https://github.com/crawljax/crawljax/pull/239