Update link to download the released file.

Delete info related to download via git. It isn't needed (and developers
will know how to do it anyway).