Some bugfixes, add GitLab CI, add linting
This tag has no release notes.