Fix a few of our CI issues
This makes build jobs interruptible. It also makes it safer to run build jobs in parallel by using unique docker image tags for each pipeline. Additionally, we now prevent multiple deploy jobs running in parallel by using resource groups. After merging this we should also set the process modes for the respective resource groups to oldest first
via the gitlab API.