This MR removes the debian stretch CI jobs, effectively dropping support for that distribution.
/cc @steffen.grunewald