Summary
- back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;
- suppress failed sessions, since Jenkins entries lack ISABELLE_BUILD_OPTIONS with threads (see also 744878d72021);
- more general workaround for failed sessions (again, see also 2edb89630a80, ed7b5cd3a7f2);
- merged
- show failed sessions on main page;
- clarified signature;
- HTML rendering based on Isabelle/jEdit colors;
- 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;