We are no longer using the GitLab CI service, but we do still need CI, so let's move it to Travis CI and use GitHub integration for this.
