Update Debian CI build to use Stretch

The Debian CI build should be updated to run under Stretch