tuned (cf. 2fe62d602681);

updated for polyml-5.4.0;
discontinued old-fashioned POLY_HOME via path;
more robust handling of polyml-version, preferably provided by Poly/ML distribution itself;

eliminated old-style sed in favour of builtin regex matching;

more robust poly startup, by restricting heap size (otherwise it fails on very large memory);
removed Poly/ML 4.x variant;

removed Ids;

set DYLD_LIBRARY_PATH as well;

LD_LIBRARY_PATH;

adapted to pre-5.0 versions;

poly -doDisplay;

determine Poly/ML runtime system version