Releases algo via Gitlab CI

Voir #2255 (closed), #1491...

Et @mikael-s, #2999 (closed) : "[Faire une release] doit être quelque chose de faisable facilement."

Pas le plus urgent, mais cela peut arriver plus tôt que prévu, vu #2720 (closed) / !97 (merged). Mais Jenkins est pour l'instant toujours nécessaire pour #2900 (closed).