Changes

Summary

1. proper tool name (amending cbb49fe8e5a2);
2. proper file-name (amending b975f5aaf6b8);
3. tuned headers;
4. eliminated suspicious Unicode characters;
5. tuned whitespace;
6. renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to "isabelle build");
7. renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
8. renamed "isabelle build_components" to "isabelle components_build" (unrelated to "isabelle build");
9. sort lines;
10. renamed "isabelle log" to "isabelle build_log";
11. clarified structure;
12. tuned output;
13. clarified signature: proper abstract type;
14. clarified signature: support all arguments of Sessions.store();
15. tuned;
16. basic setup for "isabelle build_worker";
17. tuned comments;
18. tuned structure;
19. clarified terminology of "session build database", while "build database" is the one underlying Build_Process;
20. clarified modules;