Also test commits and pull requests using gitlab CI
Also test commits and pull requests using gitlab CI

Some development might be initiated indoors on a private gitlab
instance. This runs the same tests as the travis-ci instance
using a Debian stable system.

pok-kernel/pok,pok-kernel/pok,pok-kernel/pok,pok-kernel/pok