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.

# Bare metal config options

config KERNEL_bare_metal

    select BARE_METAL

    help

      'Bare metal' refers to those programs that run without any kernel.

      You probably want to say 'y' here if you plan to use your compiler

      to build bootloaders. It is not yet suitable to build Linux kernels,

      though, because the APCI stuff relies on the target C library headers

      being available?!?!...