Add GitLab CI and drop Github Actions