Deploy git tag containers

Description

In order to provide a stable experience using docker containers, it will be good to deploy tags automatically so that different stable versions of dune-copasi are available.

Proposal

Add tags to the .gitlab-ci files on deployments.

How to test the implementation?

New entries are deployed on the registry

Related issues

See #34 (closed)