Added most cases of the unsupport collector.
Initial stack version of collector.
Privatize UE collector check.
CLeaned up stack interface.
Basic modifications to compile after meging with test branch.
Simplified UE collector.
Better error messae when UE collector fails.
Utility package and action visitor compiling.
Process visitor compiling.
fixed possible null pointer in RemoteInterpreter
enabled remote control of the interpreter
POG compiling.
simplicied RemoteTester
Merge remote-tracking branch 'origin/rjp' into newpog

Conflicts:
	core/analysis/theoremprover/src/main/java/eu/compassresearch/core/analysis/theoremprover/thms/ThmImplicitOperation.java
Merge remote-tracking branch 'origin/acf' into newpog
Type for class def hack removed.
Merge branch 'origin/newpog'
Merge branch 'origin/tc-testcases'
Removed unused code.
Merge remote-tracking branch 'origin/kel' into tc-testcases