Move from CircleCI to GitLab CI

It should make it simpler to run everything on the same platform. CircleCI was good to us, but there's no point on getting fancy with our builds :)