Apologies for release-spamming on Github

[Albin Ahlbäck]

Hi all,

Sorry for the spam of releases on Github today.  I tried to get our release CI working.

This should now be complete, and it should now automatically

* Create tarballs and zip-files,

* Release them on Github along with checksums, and

* Upload them along with PDF-documentation on flintlib.org (it will not, however, generate links in the download section on the website for release candidates etc., only "true" releases).

Much of this work was already done by Edgar Costa and Max Horn, but now it should be completely automated, both on the Github end as well as on our website.  Hopefully this will lead to more frequent and continuous releases.

Apart from that, me and Fredrik will release 3.2.0 the coming days, so stay tuned for that.

Best,

Albin