refer to already extracted library files, to avoid tmp files produced by SQLiteJDBCLoader, which tend to remain after JVM crash;

incremental build progress, to see state after unexpected failure (see also b3d6fb291f58);

more Progress variations;

more systematic separation of build_history directories (see also 80c1c1f53e72);

updated dependencies;

added one more simplification to help replay

adapt to Scala 2.12.x

updated to postgresql-42.1.1;

updated to sqlite-jdbc-3.18.0;

keep main build.log to help diagnosing spurious lack of log_path.xz;

clarified build_polyml_component;

avoid mixture of symlinks and hardlinks, which causes problems with BSD tar on macOS Sierra;

updated;

more uniform line-oriented output, notably for scala-2.12.2 REPL which emits "\n" separately;

tuned;

suppress ANSI control sequences in Scala console;

updated to scala-2.12.2;

updated to jdk-8u131;

updated to xz-java-1.6;

separate keep auxiliary directory, to facilitate error diagnosis;

Merged

more on sublists

tuned;

more charts;

uniform heap_scale; tuned;

more plots from ml_statistics;

simplified signature;

tuned signature;