Changes

Summary

1. prefer strict result (in contrast to 0f3b0a929c02);
2. avoid conflict with generated settings of other_isabelle;
3. more progress information, for the sake of sporadic dropouts;
4. restricted perspective depending on the caret -- important for reactivity when editing big files;
5. parallel retrieval of PIDE markup;
6. clarified output: do not require "method", which is absent for ResponseMessage;
7. tuned;
8. clarified message logging;
9. more operations;
10. clarified signature;
11. obsolete special case