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;