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: ]
Merge remote-tracking branch 'origin/ldc/tests' into jwc/base
adding license to model checker module
added license to guibuilder
added license for prettyprinter
added license header for test framework #249
added license header for testing #249
added license for codeine #249
added license header for codegen-runtime #249
added license header and removed commented files in combinatorial testing #249
#249 added ignore for ct
#249 added license header and removed comments files for ide/core
#249 added license header for builders
removed commented files in ide debug