CI: Avoid duplicate pipelines when open merge requests exist for a branch

See https://gitlab.inria.fr/help/ci/yaml/README.md#switch-between-branch-pipelines-and-merge-request-pipelines