uniform graph restriction: build_graph is more sparse than imports_graph and may yield different results for exclude_session_groups / exclude_sessions (e.g. "isabelle build -a -X main");

updated comments;

updated to scala-2.12.4;

testing NewTestRegisterSave;

superseded by plain_identify;

tolerate odd negative times from old log files (before 1698e9ccef2d);

prefer main entry points of HOL;

tuned signature;