add file information to toml parse context and error messages;

add position information to toml parser and error messages;

properly concatenate toml files: regular toml rules still apply (e.g., inline values may not be changed), but values defined in one file may be updated in another;

allow re-defining keys in toml object (already checked during parse time);

clarified toString for toml objects;

tuned

tuned message;

better invalidation for schedule cache (only on relevant changes);

tuned;

timing heuristic: parallelize more aggressively to utilize hosts fully;

proper parallel paths for timing heuristic;

scheduled build: allocate cpus more aggressively, to avoid idle threads;

finalize scheduled build only on master node;

finalize current sessions before generating schedule;

clarified signature: more operations;

NEWS

merged

tuned signature;

support for "cluster" table with "hosts" array, and params/options as for "host" table; support for "isabelle build -H cluster.name";

clarified signature: more operations, allow recursive get;

tuned signature;

tuned signature: more operations;

clarified signature;

tuned output;

more robust: prefer strict operations;

tuned message;

tuned signature: more operations;

more specific name for type class

proper check_file operation via File.space (amending 6ad3a412ed97 --- broken in Isabelle2023);

clarified signature;

clarified modules;

clarified signature: more operations;