replaced cc/ld phase by PolyML.SaveState.saveState (potentially more efficient);
replaced cc/ld phase by PolyML.SaveState.saveState (potentially more efficient);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle