Initial infrastructure for bug regression test worl/
Initial structure for variable substitution visitor.
Update poms to use Isabelle-Eclipse 2013-2.
Move basic test inputs files.
Various clean ups of pog test structure.
Initial attempts at substitution visitor and assignment context.
CMLPOContextStack is useless and being removed.
Migrated assignment contexts, etc. to Overture.
Cannot do substitution on variable initializers at the top process level.
Improve use of subvarVisitor and clear stateful contexts after each def visit.
Massive clean up of old unused FIXME and unneeded annotations.
Merge remote-tracking branch 'origin/development' into newpog
Reconcile with assitant changes in Overture.

See overture commit #13fb48
Ignore parser target because reasons...
Initial support for post conditions to reset state context.
Thread VarSubVisitor through assistant factory.
Merge remote-tracking branch 'origin/ldc/astntrw' into newpog
Merge remote-tracking branch 'origin/newpog' into development