mirrorx.nix: add https and http mirrors for gcc

HTTP is never worse and often better than FTP, since many users may be on
networks that do not allow FTP traffic.