Changes

Summary

1. proper user tool;
2. tuned comments;
3. support for EPTCS style with demo document;
4. tuned message;
5. clarified delay -- more reactive;
6. provide Session.init_time as reference point for diagnostic messages;
7. afford more reactive consolidation; typical timings for big theories in HOL-Analysis: Session.Consolidate_Execution < 5ms for negative test and < 50ms for positive test;
8. minor performance tuning;
9. tuned;
10. afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE; typical timings for big theories in HOL-Analysis: Export.make_entry < 10ms, Document_Output.present_thy < 150ms;
11. proper executable files for Windows;
12. further attempts to confine dotnet to $ISABELLE_HOME_USER;
13. tuned output;
14. more command-line options;
15. clarified component settings: always update existing version; remove old component version from $ISABELLE_HOME_USER/etc/components;