Retry build when `make fetch` failed

Sometimes the nightly build fails because make fetch failed, usually because of a temporary problem reaching one of the git servers we use. In that case it would be useful to retry the build a few times, after one or two hours, instead of the next day.