CI: cancel previous pipelines on push

This avoids keeping the old jobs running when they are not needed.

See https://docs.gitlab.com/ci/yaml/#interruptible

And avoid pipelines in forks without a Merge Request