gitlab-ci: Interrupt pipelines if their branch is updated

Cancel pipelines when new commits get pushed on their branch, making them obsolete.

This avoids wasting considerable resources when actively editing a branch during development and repeatedly pushing stuff to it.

See !278 (merged), with !278 (819c09c4) having been cancelled in favor of !278 (633e76ce)