scripts/functions: add aria2, a powerfull downloader

aria2 is a powerfull downloader that is capable of chunking and
parallel retrieval.

Due to li;itations in crosstool-NG retrieval facilities, it's not possible
to take fully advantage of aria2. It might happen that, in the future,
those limitations get lifted away, so we can take use features such as
parallel downloading from more than one server at the same time. For now,
it should still speed up downloads thanks to parallel downloading of chunks.

# Dummy config file to not use a C library *at all*

# depends on BARE_METAL

config LIBC_none

    help

      Do not use a C library.

      This is usefull if your project is self-contained, does not rely on

      an external C library, and provides all the necessary bits.

      Most probably usefull to bootloaders, as they generally don't depend

      on the C library.

      If unsure: do *not* choose that, and use another option in the choice.