audit: Raise a problem if the SourceForge download url uses http instead of https
Batch convert http download urls from SourceForge to https