Use Travis CI for ansible-lint
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.
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.