Merge branch 'update-readme-ci' into 'master'

[readme] Gitlab-Ci update

See merge request !167
1 job for master
Status Name Job ID Coverage
  Trigger Pipelines
failed full-dune-2.7-gcc