Add some more documents to the ship-with set.
Delete a stray file named ".pdf"
Slight fixes to binding generation and more clones.
Fixed ForAll binding generation.
Added guards against generating POs for "not yet specified" stuff.
changed the way the workbencher adaptor is implemented. Now it uses an extension loader to check if other plugins provide an adapter for the selected node before defaulting to a default string
restructured the debug classes for better re-use.
Using true in place of empty predicate for let be st obligations.
ForAllCtxt bindings must be cloned when requested

The same context may need to provide the bindings multiple times.
InSet expression is now correctly created with ast factory.
Better handling of bindings in exists predicate.
Merge commit 'f55307b2fc69676857a1417acd9575dc6f2b81f8' into astv2-jwc
Merge remote-tracking branch 'origin/compass/development' into newpog
Merge branch 'origin/compass/development'
Merge remote-tracking branch 'origin/compass/development' into newpog
Fixed context generation for ForAlls with a predicate.
Initial implementation of STo factory.
Replaced STO constructor with factory invocation.
Reprevatising OneType.
Added helper constructor for compass subtype PO reuse.
removed unused code