Changes

Summary

1. updated package;
2. avoid hardwired options: use isabelle.args settings instead;
3. support for Windows;
4. proper bootstrap name, e.g. for Pure.thy;
5. more robust startup;
6. more specific isabelle-ml language support;
7. tuned;
8. proper use of isabelle-ml;
9. grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
10. clarified multiple tooltips;
11. proper content format;
12. more syntax; tuned;
13. more syntax; tuned;
14. tuned;
15. tuned;
16. more keywords;
17. tuned;