Add basic GitLab pipeline

2 jobs for master in 1 minute and 7 seconds
Status Job ID Name Coverage
  Build
passed #1640
build

00:00:28

 
  Distcheck
passed #1641
distcheck

00:00:38