Merge remote-tracking branch 'origin/newpog' into sdf
Update pog icon to a delta symbol.
More PO list column tweaking.
Initial working implementation of Isabelle session kill.
Remove unused imports.
Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/development' into newpog
Remove assistant calls from CmlLexNameToken.

This means a new (possibly less eficient) way to compute name token hashcodes.
But it has to be done since we will not thread assistant factories into name
tokens.
Replace static calls to PAccessSpecifier astnt with factory calls.
Thread assistant factory into PTypeSet constructor.

This copes with the latest changes to the overture assistant mechanisms.
Merge remote-tracking branch 'origin/development' into ldc/astntrw
Merge remote-tracking branch 'origin/development' into newpog
Merge remote-tracking branch 'origin/ldc/astntrw' into newpog
another try at fixing the cosim process tests
improved the main test case class in the interpreter to handle exceptions better
Analysing Insiel's example from Paolo.
Merge remote-tracking branch 'origin/development' into alrd
close #244 the problem was only visible if a project wasn't type checked (no open files). Added type check, check to the launch tab before opening process selection dialog.
Merge with origin/alrd and improvements to remove tock events in analysis that do not use time.
Added Insiel's example from Paolo.