Summary
- more comments;
- tuned message -- more readable JSON;
- more accurate isabelle_id: parent directory is not necessarily at tip;
- store session: per Server/Context, not Connection; support for "session_stop";
- clarified server log; tuned options;
- support for "session_start";
- updated user name;
- clarified message;
- clarified message;
- more uniform id;
- prefer non-strict defaults;
- clarified default;
- tuned;