Summary
- timeout as in former isatest-makeall;
- more robust quasi-unique name;
- clarified signature: more static types;
- clarified hg.id operation, with explicit tip as default;
- added remote_build_history tasks: parallel on several remote hosts; isabelle_identify: use self repos for robustness; more logger context: options and ssh; setup repository clones on demand; clarified target repositories;
- added setup_repository; clarified root: expanded in target environment;
- more operations;
- expand relatively to given environment, notably remote HOME;
- tuned;
- tuned signature;
- tuned;
- clarified treatment of non-text bytes;
- remove invocation of build_history: results are reported via stdout;
- clarified signature;
- identify release;