Use --git-dir, avoid changing directory, set core.worktree
Use a separate directory for git files

This makes it easier to search through the sources without encountering
the git files.

"git clone --mirror --separate-git-dir" may be a combination unexpected
by git developers, so it remains to be seen how fragile it is.