download.pl: Change SourceForge address to HTTPS.