Changes

Summary

1. added lemma wf_on_iff_wf
2. changed number of consumed assumptions of wf_on_induct and wfp_on_induct
3. tuned
4. merged
5. more accurate platform directories: pkg/tool structure is hardwired in "go";
6. support for etc/platform.props, to specify multi-platform directory structure more accurately;
7. clarified signature;
8. tuned;
9. clarified modules;
10. clarified modules;
11. build Isabelle component for Go: all platforms;
12. misc tuning;
13. just one copy of darwin-universal.tar.gz;
14. documented running time function framework by Jonas Stahl
15. merged
16. merged
17. more uniform command names
18. tuned parameter order
19. shutdown lrzcloud2;