added profiler interface, keep 'profiling' of PolyML structure; removed PolyML.Compiler.printInAlphabeticalOrder := false;
added profiler interface, keep 'profiling' of PolyML structure;
removed PolyML.Compiler.printInAlphabeticalOrder := false;

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