gitlab-ci: Drop CircleCI jobs

Authored by bgamari on Mar 2 2019, 2:32 PM.