Add download source links to the download page

Also add get_releases.py script that can generate the source. We could think of making a plugin.