Merge branch 'ondrej/remove-debian-jessie-from-gitlab-ci' into 'master'

Remove Debian 8 ("jessie") from the GitLab CI

See merge request !3281
4 jobs for master in 4 minutes and 52 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Precheck
passed #780292
amd64 linux
autoreconf:sid:amd64

00:00:35

 
  Build
passed #780293
amd64 linux
abi-check:sid:amd64

00:04:17

 
  Docs
passed #780294
amd64 linux
docs:sid:amd64

00:00:58

 
  Push
passed #780295
amd64 linux
push:docs:sid:amd64

00:00:14