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;