refining the timeout for git clone, let's double the default (ten minutes instead of five) and try twice... that should be enough time to give github before we give up on it