Changes

Summary

1. read/write proper schedule date (amending 9da3019e1ee5);
2. allow read/write of schedule in build (read via option, write from tool);
3. file representation for schedule (e.g., for generating from external tool);
4. proper median/mean time;
5. remove schedule outdated limit: delay is sufficient;
6. tuned whitespace;
7. tie-breaking in schedule optimization to pick best schedule even when run-time is dominated by large task (e.g., session with long timeout but no data yet);
8. tuned;
9. remove old build before generating schedule;
10. unused;