Update debian CI jobs
There are currently no pipelines.
To run a merge request pipeline, the jobs in the CI/CD configuration file must be configured to run in merge request pipelines and you must have sufficient permissions in the source project.
This PR updates the Debian jobs in CI to use distribution names, not codenames; hopefully this means they are a bit more future-proof and we don't have to update things manually.
To run a merge request pipeline, the jobs in the CI/CD configuration file must be configured to run in merge request pipelines and you must have sufficient permissions in the source project.