misc tuning, following hint by IntelliJ;

clarified signature;

tuned signature;

find theories via session directories only -- ignore known_theories;

find theory files via session structure: much faster Prover IDE startup;

obsolete;

clarified ML_OPTIONS on Windows;

strict bash invocation: proper error checking;

more robust system channel via options that are private to the user;

support for build_database_server (PostgreSQL);
clarified signature;

tuned;

support Store with options;

clarified signature;

more robust: avoid global change of LD_LIBRARY_PATH (e.g. relevant for subprocesses);

proper signature (amending c4e9e0c50487);

treat sessions as entities with defining position;
tuned signature;

formal treatment of documentation names;

added document antiquotation @{session name};
renamed protocol function "Prover.session_base" to "Prover.init_session_base" according to the ML/Scala operation;

tuned signature;

tuned signature;

clarifified selection: always wrt. build_graph structure;
tuned signature;

tuned;

clarified signature;

clarified signature;

proper output of raw ML;

more informative loaded_theories: dependencies and syntax;

session-qualified theory names are mandatory;

eliminated default_qualifier: just a constant;

clarified init_session_base / finish_session_base: retain some information for plain "isabelle process", without rechecking dependencies as in "isabelle console";

clarified directories;

--HG--
rename : src/Pure/Tools/ml_console.scala => src/Pure/ML/ml_console.scala
rename : src/Pure/Tools/ml_process.scala => src/Pure/ML/ml_process.scala
rename : src/Pure/Tools/ml_statistics.scala => src/Pure/ML/ml_statistics.scala