Changes

Summary

1. more informative error for spurious crash;
2. merged
3. tuned;
4. dummy File_Watcher for Windows (spurious crashes seen on Windows 7);
5. more robust treatment of logical lines;
6. updated package;
7. proper name for recursive grammar; pro-forma update of fileTypes;
8. emit Commands_Changed for blobs as well, e.g. relevant for isabelle.vscode.Server.prover_output;
9. suppress empty results;
10. tuned;
11. manage document blobs as well;
12. misc tuning and clarification;
13. tuned;
14. tuned;
15. tuned;