Associate each release with a specific DOI

It is considered good practice to associate a specific DOI to each release of the software. This allows users to cite the precise version they used in their publications. Zenodo does this automatically for tagged releases on GitHub but not yet on GitLab.

The easiest solution is probably to wait for an official automated integration but if this is deemed too important, we can always do it manually.