PO and THY are now talking and the PO list is updating from Isabelle output
Added an icon for the proof "submitted" status in the PoViewer.
Failed POs are now removed from the Isabelle buffer so that additional lemmas can be proved afterwards
Implemented stack based representation of POs that have been submitted. Also added "enqueueAllPOs" which can be used to submit all POs for processing.
Fixed calls to classic and dev PTPs.