clarified "isabelle build_polyml": download and build everything for current platform;
renamed former "isabelle build_polyml" to "isabelle make_poly", for experimentation and diagnosis;
#additional components to be bundled for releaseIsabelle_app-20210126