more robust java.ext.dirs: avoid picking up accidental jars from system directories;
updated to jdk-8u152, which is for x86_64 only;
proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
clarified cold-start environment;
added isabelle_java cold-start executable;