This MR removes the CI source/build/test jobs for Debian Stretch, which is no longer officially supported.