Update release script and/or switch to ReleaseTools

[fingolfin]

The release script in this repository is based on an ancient version of my release-gap-package script. Since then, many improvements and bug fixes have been applied to my script. Most importantly, your release script will stop working later this year because GitHub is finally shutting down the old authentication method via query parameters (see also gap-system/ReleaseTools#65).

Assuming you are still using the release script, it would be good to sync it with the release-gap-package as much as possible.

Ideally, you could just switch to using release-gap-package, but right now this is not possible due to custom features in your version of the script, to deal with the fact that this repository in fact bundles a bunch of GAP packages. Though I'd be interested in accepting patches to make that possible (and also help developing them). And of course adding support for "meta packages" to GAP (see gap-system/gap#2138 and gap-system/gap#2267) and then switching this repository to be a metapackage would go a long way towards that. Unfortunately, nobody has been working on meta packages since @sebasguts left. One blocker was that the GAP distribution scripts and website would have to be enhanced to support this. Luckily, we are doing GAP Days to work on these in about two weeks, so I am hoping that afterwards, implementing the required things will be easier. And if somebody from the homalg project wants to come there as well, we could even work on it there. Otherwise perhaps during the next GAP Days...

[mohamed-barakat]

Thank you very much, Max. Maybe Fabian @zickgraf could join the next GAP Days. I will discuss this with him when he is back from vacation.

[mohamed-barakat]

Maybe Tom Kuhmichel @TKuh is also interested.