Should we use GitHub releases instead of Sourceforge for binaries?

@darius, just did…