Merge remote-tracking branch 'refs/remotes/origin/astv2' into astv2-pvj
Rename the tools/examplesutil module to tools/examplePackager
Start the maven plugin for the example packager
Fixes for the tool generating zip bundles using the documentation examples. The launch configuration is now generated with an additional property which enables logging of real-time events by default.
* Rename the java packaging of the examplePackager module
* Finish the maven plugin for the example packager
* Alter the example-packager to be a little more configurable
* Have ide/help use the example-packager to create the example packages
* Have ide/help copy in the three PDFs from documentation/
Merge commit '861676c793ae26dbe126ef611cd994a650315450' into astv2-jwc
the examplesutil producing zip bundles from the VDM examples now respects the encoding specified in the README file in the folder of the VDM projects to be exported
Added support for Virtual Machine (VM) arguments (e.g. -Xmx1024M -Xss20M) in examplesutil. Some VDM models like SSLibE2 need extra resources in order to execute successfully. With this commit it is possible to specify such arguments in the project README file so that the generated .launch file holds the proper VM arguments.
Merge remote-tracking branch 'refs/remotes/origin/astv2' into astv2-pvj

Conflicts:
	ide/plugins/rttraceviewer/src/main/java/org/overture/ide/plugins/rttraceviewer/view/GenericTabItem.java
Added missing source code file to examplespackager
Updated examples packager tool with the possibility of choosing whether the "violations" file (holding the violations of validations conjectures) should be produced
* Change the example packager to exclude OS X .DS_Store files and
  the *.result files from the example bundles.
* Also change the example packager to only recurse into directories from
  the input root folders.
* Commit the README.txt for the VDM-SL BOM example.
Merge remote-tracking branch 'origin/astv2-pvj' into astv2-ldc/tycho

Conflicts:
	documentation/examples/VDMSL/BOM/README.txt
snapshot versioning
Merge branch 'origin/compass'
removed cyclic dependency
changed to use type from direct dependency
fixed bug: #203 Author names should be included in the README files of the examples imported
added tests and test data