Merge remote-tracking branch 'origin/master' into web-ui-plugin-support
Merge pull request #303 from crawljax/web-ui-plugin-fixes

Changes to plugin save and load
Merge pull request #304 from crawljax/web-ui-plugin-params

Added parameter types.
Merge remote-tracking branch 'origin/web-ui-plugin-support' into web-ui-plugin-integration