Sourceforge woes

Seems there’s some people having trouble downloading from Sourceforge, so I’ve mirrored the files here in the meantime.

Edit: Looks like there’s a Sourceforge attack going on, which explains the issues.