CI: port Travis config to GitLab

Merged Erick Hitter requested to merge add/ci into master

Merge request reports