Clone repository with --mirror option

- Add --mirror option to git-clone
- git-fetch instead of git-pull
- Use Git URI to decide destination directory
Rename pull related methods following change from git-pull to git-fetch
Refine check of git url