Cleaned up PO batch submission and deletion on failure.
Fixed AST integrity bug in post condition POs.
Merge remote-tracking branch 'origin/development' into ldc/tipi
Fixed type error in adhoc model.
Move PO detail view in perspective.
Merge remote-tracking branch 'origin/development' into ldc/tipi

Conflicts:
	core/analysis/pog/src/test/resources/adhoc/adhoc.cml
Merge remote-tracking branch 'origin/development' into ldc/tipi
Merge remote-tracking branch 'origin/development' into ldc/tipi
Merge remote-tracking branch 'origin/ldc/tipi' into sdf

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