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;