Fixes download.sh: Minor output clean-up

Hi, Marco!
So, I've changed the script to clean the output a little bit, because the curl progress bar was filling the log output with:

    ....
    #########################################################                 79,6%
    #########################################################                 79,6%
    #########################################################                 79,6%
    #########################################################                 79,6%
    #########################################################                 79,7%
    #########################################################                 79,7%
    .... (thousands of lines like these, from 0 to 100)

This changes the download_archive function to use a silent curl and print some basic information about the download status.