Merge branch 'origin/tc-testcases'
updated test cases + added my and communication checks (comm check is pending a channel type change)
spelling
Continuing AST migration - supports Dwarf
Merge commit 'a8ddda02313d47ea788cb7a3ad0ac8f4c1eb110e' into rjp
Reverting accidental changes to test file.
Pog plugin preparing for new TP integration.
Merge remote-tracking branch 'origin/rjp' into newpog

Conflicts:
	ide/plugins/pog/META-INF/MANIFEST.MF
Correcting AActionStm import
Merge commit 'f4eedc4c4474517cbebeec8867cc5206587ec187' into rjp

Conflicts:
	core/analysis/theoremprover/src/main/java/eu/compassresearch/core/analysis/theoremprover/visitors/deps/ThmStmDepVisitor.java
	core/analysis/theoremprover/src/main/java/eu/compassresearch/core/analysis/theoremprover/visitors/string/ThmStmStringVisitor.java
Corrected Z3 flag on non mac platforms.
TP handler now reports to user successful import of POs.
test memory leak identified and fixed.

The issuehandler was registered as a listner in overture but never removed. The registry in overture is static which prevented GC.
Changed the type of a channel definition into a AChannelType with a list of parameter types. This is a fix to bug https://sourceforge.net/p/compassresearch/tickets/107/ + other improvements. The comm action is completly rewritten with full check (most was skipped before)
added new test results for actions
changed test result
changed errors and warnings to include numbers
Continuing on supported syntax collector
CLean up code in preparation for more TP interaction.
UECollector now called before translating POs.