Summary
- tuned output;
- tuned message -- more parsable;
- tuned signature;
- identify managed repository clones;
- some timing and logging, similar to old isatest.log;
- enforce short name, notably on Mac OS X;
- tuned -- Date.Format.default used by toString;
- clarified modules;
- force fresh build;
- basic setup for Isabelle cronjob;
- tuned;