Michal Hrusecky authored Mar 19, 2021 and Karel Koci committed May 03, 2021

Specify explicitly that wget should timeout after three seconds and we
will go for another retry. Failing faster and retrying sooner.