Synchronize with zenodo bypassing GitHub

Currently, we need to go via GitHub to publish releases to Zenodo. There is the https://pypi.org/project/gitlab2zenodo/ project that describes a direct way to do this.