Changes

Summary

1. merged
2. proper session dirs for "isabelle jedit" and "isabelle console" with options -d and -l;
3. tuned messages -- more positions;
4. more position information for type mixfix;
5. tuned signature;
6. proper norm_props, e.g. relevant for ML pp;
7. clarified reports; tuned signature;
8. tuned signature;