audit: Raise a problem if the SourceForge download url uses http instead of https
Batch convert http download urls from SourceForge to https
Change some SourceForge urls to use https://downloads.sourceforge.net