audit: Raise a problem if the SourceForge download url uses http instead of https

I'll convert all the urls if you like this change.