Account for various methods of cloning a git repository.

Users may have to re-download cached versions http and https
repositories since their UNIDs will change with this commit. Github and
bitbucket repository unique names should not change however.

Closes 9.