Changes

Summary

1. merged
2. adapted to new simp lemmas
3. added simp rules
4. more permissive: avoid situations where query is silently ignored;
5. more robust: do not touch unrelated directory isabelle_repos_other (i.e. bad argument);
6. always start with fresh clone (with explicitly given rev): more robust on Windows;
7. reverted 94cad7590015: does not help much on Windows;
8. tuned signature;
9. merged
10. updated package;
11. maintain overlays within main state of document models; proper pending_input for Isabelle/VSCode;
12. proper treatment of editor overlays;
13. tuned;
14. clarified modules;
15. tuned signature;
16. support for separate proof state output;
17. automatic reformatting;
18. more general dispatcher operations;
19. tuned;
20. clarified modules;
21. tuned;
22. tuned;