Pop contexts at end of Op Definition.

This clears out the operation definition context.

[Issue: ]
Merge remote-tracking branch 'origin/development' into ldc/quickies
Merge remote-tracking branch 'origin/ldc/quickies' into jwc/base
Minor description change + file format normalise
fix for testing, doesnt work if not in standard jar
Cleanup following moving the testing framework out of a test-jar
* renamed org.overturetool.core.testing:testframework to just
  o.o.c.testing:framework
* turned off deployment on all of the core/testing modules (and ide/
  while I was at it)
Generate indexes of the vdm examples and libs for packing into the jar
changed Context and ObjectContex toString to list the full context chain. This makes it easiere to debug context related issues. Mainly been used in Compass
added util method to parser/typechecker util to show error/warnings
code cleanup AST
ctruntime clode cleanup
ctutils code cleanup
code cleanup framework (test)
code cleanup guibuilder
code cleanup interpreter
code cleanup parser
code cleanup pog
code cleanup prettyprinter
code cleanup probsolver
code cleanup probsolverintegration