Documentation/git-svn: how to clone a git-svn-created repository