switch the downloads to SourceForge

SourceForge gives better statistics on downloads, and it makes
sense to standardize on SourceForge for all downloads rather than
hosting them at two places (Github and SourceForge)