zip-files unusable for Carat

[gaehler]

Just as a warning: zip-files as provided by GitHub cannot be used for Carat, because certain files with strange names cannot properly be extracted. This concerns in particular files in tables/dim?/ whose names may contain semi-colons and commas. In the GAP interface package of Carat, I had to switch back to tarballs and direct cloning.

[olexandr-konovalov]

I think we will have to adapt something like https://github.com/gap-system/ReleaseTools to build documentation, wrap archives locally and upload to GutHub. Those zip-archives from GitHub are rather snapshots of repository states at the time of the release than a distributable archives.