scripts/functions: only use one download program

Currently, we use either wget or curl, whichever is installed.
In case both are installed, both are used. This means that it
takes a while trying all extensions.

Remove use of wget, and use only curl.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

 reporter_name="Gustavo Zacarias <gustavo@zacarias.com.ar>"

 reporter_url="http://sourceware.org/ml/crossgcc/2011-03/msg00028.html"

 reporter_comment=""