- add onclose method to write coverage.json report
- include istanbul building files (ServoyParser.js,
instrument_workspace.xml)
- edit jenkins_build.xml file to include code instrumentation
- add properties in export_and_test.properties
Merge remote-tracking branch 'origin/develop' into develop