[PATCH v2] buildman: Use git worktrees instead of git clones when possible