Giovanni Mascellani : ci: Introduce a CI pipeline for GitLab.