ExternalProject: Retry on a failed git clone

Git sometimes fails to clone repositories due to network outage or
server load.  Try 3 times before giving up.
Merge topic 'ep_retry_clone' into next

118f741 ExternalProject: Retry on a failed git clone