Add GitLab CI

Authored by bgamari on Fri, Nov 23, 6:20 PM.