Restored version 1 of PTP.
Merge remote-tracking branch 'origin/sdf' into ldc/tipi

Conflicts:
	ide/plugins/theoremprover/src/main/java/eu/compassresearch/ide/theoremprover/TPPluginDoStuff.java