* System: run-polyml-5.1 now uses PolyML.SaveState instead of linked object-files (this is potentially more efficient). INCOMPATIBILITY, requires recent Poly/ML cvs version and recompilation of logic images.