Changes

Summary

1. more permissive: avoid situations where query is silently ignored;
2. more robust: do not touch unrelated directory isabelle_repos_other (i.e. bad argument);
3. always start with fresh clone (with explicitly given rev): more robust on Windows;
4. reverted 94cad7590015: does not help much on Windows;
5. tuned signature;