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.

# AVR32 specific configuration file

# depends on EXPERIMENTAL

config ARCH_avr32

    select ARCH_USE_MMU

    select ARCH_DEFAULT_BE

    select ARCH_SUPPORT_ARCH

    select ARCH_SUPPORT_CPU

    select ARCH_SUPPORT_TUNE

    select ARCH_SUPPORT_FPU

     help

      The AVR32 architecture, as defined by:

        http://www.atmel.com/products/avr32