Version updates
[maven-release-plugin] prepare release crawljax-3.5
[maven-release-plugin] prepare for next development iteration
Force creation of javadoc, sources and testjar
Updated the changelog
Merge remote-tracking branch 'upstream/master' into state-explorer
refactoring for adding to SaltLab