Changes

Summary

1. always output proof state: there is only one output buffer in Isabelle/VSCode;
2. updated package;
3. merged
4. unused;
5. misc tuning and modernization;
6. clarified message;
7. keep PIDE.plugin for the sake of still open dockables etc. -- jEdit exits these *after* the stop operation;
8. keep style extender for the sake of potentially remaining token markers;
9. dynamic session_options for tuning parameters and initial prover options;
10. strict initialization of plugin.session: no user errors to be expected before session.start;
11. resources are part of early/strict initialization, but session_base is permissive to avoid crash of "isabelle jedit -l BAD"; PIDE._plugin indicates intialization state of Plugin; tuned;
12. clarified initialization; tuned;
13. clarified initialization;
14. clarified modules;
15. clarified modules;
16. more explicit strict vs. non-strict initialization;
17. more explicit options; tuned signature;
18. unused;
19. clarified fall-back base, e.g. relevant for "isabelle jedit -l BAD";
20. tuned whitespace;
21. map values statically;
22. clarified modules;
23. tuned signature;
24. tuned signature;
25. tuned;
26. tuned signature;
27. clarified singleton module;
28. proper plugin access;
29. clarified modules;
30. proper plugin access;
31. tuned;
32. prefer local variables;
33. clarified modules;
34. avoid global variables with implicit initialization;
35. more robust early initialization;
36. show user error as on command-line, e.g. relevant for unexpected crashes;
37. afford early initialization of JEdit_Options, but it may lead to messy exception trace for malformed etc/preferences (see also 6eeaaefcea56); tuned signature;
38. tuned message;
39. normalize changes strictly as specified in the protocol definition (assuming non-overlapping ranges, amending 0f555ce33970), e.g. relevant for automatic quotes/parentheses around selection;
40. always update decorations eventually after document changes: VSCode might reset it, but PIDE might produce an unchanged result that is not published again;
41. avoid race condition between current_state().stable_tip_version and model.rendering();
42. tuned;
43. updated dependencies;
44. explicitly ignore "initialized" message;
45. clarified shutdown;
46. tuned;
47. tuned;
48. support for permanent phase_changed watcher;
49. tuned;
50. more robust startup, despite remaining race condition of debugger.is_active vs. session.is_ready;
51. more robust debugger initialization, e.g. required for GUI components before actual session startup;
52. more abstract module Document;
53. tuned;
54. misc tuning and simplification;
55. more explicit Session.xml_cache;
56. tuned;
57. tuned signature;
58. tuned signature;
59. clarified modules;
60. proper local debugger state, depending on session; tuned signature;
61. more robust startup/init: let Session.stop wait for protocol handler initialization;
62. tuned;
63. tuned signature;
64. tuned signature;
65. more robust Session.stop: idempotent, avoid conflict with startup;
66. more strict Session.start: no restart from terminated session;
67. clarified Session.Phase;