add gitlab ci

created branch 47-add-gitlab-ci

mentioned in merge request !43 (merged)

closed via commit bce0a927

closed via merge request !43 (merged)