git-clone: Rename --use-immingled-remote option to --no-separate-remote