Fixes for GUI to handle errors and end of proof
Added condition handling to deal with pvs-errors
Minor changes
Minor changes
Modified after-prove* to deal with end of proof for GUI