This adds a gitlab CI pipeline definition so that one can see whether merge requests do actually build.