Merge branch 'add/debian-stretch' into 'master'

Add Stretch

See merge request !7
11 jobs for master in 7 minutes and 25 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Test
passed #1987
lint-dockerfile

00:01:32

passed #1988
lint-shell-script

00:01:30

 
  Deploy
passed #1991
allowed to fail manual
build-debian-jessie-build-master

00:05:49

passed #1990
allowed to fail manual
build-debian-stretch-build-master

00:02:59

manual #1989
allowed to fail manual
build-golang-master
manual #1997
allowed to fail manual
build-php-5.3-master
manual #1996
allowed to fail manual
build-php-5.6-master
manual #1995
allowed to fail manual
build-php-7.0-master
manual #1994
allowed to fail manual
build-php-7.1-master
manual #1993
allowed to fail manual
build-php-7.2-master
manual #1992
allowed to fail manual
build-php-7.3-master