Merge remote-tracking branch 'origin/jwc/base' into ldc/tests
Construct 1 lib index per dialect.

[Issue: ]
Proper handling of files in VDM libs tests.

Libs gotten as resources off the index file specified
in the pom.

[Issue: ]
Generate 1 example index per dialect
Fix handling of examples.

Examples now loaded as resources off the jar using index files.
Loaded resources are converted to URI so we have to thread
1 more exception throw through the code.
Clean up some example stuff.
Hack around spaces in filenames.

[Issue: ]
Added six tests to exercise generation of the sub sequence expression
Updated the VDM libraries used by the code generator to the most recent ones
Updated the codegen runtime with functionality to support generation of the subsequence expression
Added support for generation of the subsequence expression
Added test revealing problem with code generation of the apply object designator
Fix for generation of the apply object designator
Binds and multiple binds are now allowed to use patterns and not only identifier patterns
fixed pom in framework, it had overriding version decleration and included a goal not supported in eclipse - so added exclude for it
fixed #335 corrected up/down history and improved error message + ignored empty entry
Merge remote-tracking branch 'origin/ldc/tests' into jwc/base
fixed #290 change the Text to a StylesText and applyed the VDM SL code scanner such that all PO's are highlighted using the VDMSL style which should include all expressions
updated quick interpreter to use style text too showing the same highlight as VDM-SL
adding license to model checker module