Add gitlab-ci config

It is not meant to replace CI pipeline. Approving merge requests might be easier with successful build (at least some code, that does compile).