Auto cancel pipelines when changes are pushed
This should also save a few CI minutes.
See the interruptible keyword in https://docs.gitlab.com/ee/ci/yaml/index.html#interruptible and https://docs.gitlab.com/ee/ci/pipelines/settings.html#auto-cancel-redundant-pipelines.