support multiple host names;

clarified default options: SQLite build_database is unsupported for Isabelle2023, due to lack of proper transaction_lock;

avoid using FOOL syntax with older Vampire versions because of soundness bug visible by passing 'Abs_unit_cases Rep_unit Rep_unit_cases' as the facts to Sledgehammer

tuned message;

tuned;

more accurate treatment of state vs. serial vs. db;

more explicit check;

proper numa_nodes for build_worker;

tuned message;

tuned;

tuned signature;

support hosts with shared directory (e.g. NFS);

tuned message: failure may stem from build_cluster init;

proper sync_database for receive timeout;

clarified source structure;

tuned whitespace;

clarified command-line tools;

tuned output;

clarified signature;

tuned signature;

tuned signature;

proper sequential evaluation;

more robust command options;

performance tuning: avoid redundant db access;

clarified signature: proper treatment of implicit state (amending d0c9d277620e);

performance tuning: avoid redundant db access;

performance tuning: avoid multiple db roundtrips;

clarified signature: more robust treatment of implicit state;