Changes

Summary

1. proper redirection;
2. tuned output;
3. tuned message -- more parsable;
4. tuned signature;
5. identify managed repository clones;
6. some timing and logging, similar to old isatest.log;
7. enforce short name, notably on Mac OS X;
8. tuned -- Date.Format.default used by toString;
9. clarified modules;
10. force fresh build;
11. basic setup for Isabelle cronjob;
12. tuned;
13. merged
14. build on macbroy2 for performance, but use macbroy30 for its more robust hdiutil;
15. makedist_bundle works on Linux as well: build dmg on remote Mac;
16. added isabelle remote_dmg tool;
17. proper type for Library.using; tuned signature;
18. support user@host syntax;
19. modernized date format;
20. tuned signature;
21. eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline;
22. support for remote tmp dirs;
23. close more thoroughly;
24. provide execute operation, similar to Isabelle_System.bash;
25. proper support for exec channel (see also bash.scala);
26. proper hierarchic names;
27. more Sftp operations;
28. more specific channels; more Sftp operations;
29. clarified treatment of options; more uniform channels;
30. support for remote command execution; tuned;
31. tuned;
32. more generous timeout default (see also jEdit/FTP);
33. connect session by default; tuned signature;
34. clarified (hardwired!) default (see also jEdit/FTP);
35. tuned comment;
36. support for SSH in Isabelle/Scala;