ExternalProject: Try to fetch repository 3 times in git clone generated script
ExternalProject: Do not try clone if the repository changed
Update sha1sum
Merge branch 'ExternalProject_Fix_Persistent_Clone'