Batch convert http download urls from SourceForge to https