Remove VDM libs from IDE UI.

The libs will now be copied copied as part of the maven build so
they should no longer be under source control.

[issue: #343]
Add VDM libs to build resources.

Libs now copied from the documentation folder
as part of the maven build process. Also update the
LibraryUtil class to deal with new capitalization of the
libs folders.

[issue: #343]
Ignore VDM libs in IDE UI.

[Issue: #343]
Remove example packager dependency from tests pom.

[Issue: #333]
Introduce ExamplePacker class.

This class provides the example readme parsing functionality that we were depending
on example-packager for. Some of its code is copied (and slightly altered) from
example-packager.

[Issue: #333]
Update examples helper to use the new packer.

We also begin moving the examples stuff into its own package.

[Issue: #]
Move remaining examples code into dedicated package

[Issue: #333]
Update framework cope with new examples handling

[Issue: #333]
Update tests to work with new examples handling

[Issue: #333]
Rename ID demo resource folders

[Issue: #333]
Fix result file update method.

Add .RESULT to initial empty file creation and remove dserialization
attempt when executing an update test.

[Issue: #333]
Add result files for Examples ID tests

[Issue: #333]
Move ParamExamplesTest to main tests package

This lets us have all the tests in the same package and give
package scoping to AbsResultTest.

[Issue: #333]
Move result comparison to AbsResult and add JDoc

Result comparison is done identically in all tests so it
can go in the top level class. Also standardized naming to
compareResults

Also add documentation to ParamExamplesTest

[Issue: #333]