[coreboot-gerrit] Patch merged into coreboot/master: buildgcc: try curl if wget is not present

the following patch was just integrated into master:
commit df1ff231e4d378f25ba0d986191287a3af690a68
Author: Patrick Georgi 
Date:   Sat Jan 7 09:28:43 2017 +0100

buildgcc: try curl if wget is not present

There are systems that come with curl but not wget (eg macOS) and they
    now have to install one less additional dependency.

Also fix some cosmetic issues in console output and require valid
    certificates on https downloads.

Change-Id: Idc2ce892fbb6629aebfe1ae2a95dcef4d5d93aca
    Signed-off-by: Patrick Georgi 
    Reviewed-on: https://review.coreboot.org/18048
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer 
    Reviewed-by: Nico Huber

See https://review.coreboot.org/18048 for details.

-gerrit