eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting; eliminated "isabelle news"; roper title in NEWS.html; more robust build of documentation, using proper Other_Isabelle settings: avoid conflict with enclosing ISABELLE_OCAML / ISABELLE_GHC; misc tuning and clarification;