tuned comments; tuned structure;

tuned signature: avoid totally adhoc overriding;

separate static build_uuid from dynamic worker_uuid, to allow multiple worker processes participate in one build process;

enforce rebuild of Isabelle/ML, after various changes to build database management;

more detailed table "isabelle_build_serial": allow to monitor activity of build_process instances;

tuned output;