Andreas Ziegler authored Feb 10, 2019 and Andreas Ziegler committed Feb 11, 2019

As development is primarily done in GitLab, change the build
status badge to the GitLab CI job.