clarified modules;
suppress ASCII art;
Sidekick parser for isabelle-ml and sml mode;
clarified handling of plain theory commands;
support for context block structure in Sidekick; tuned;
tuned;