gitlab-ci: Remove CircleCI configuration
gitlab-ci: Remove CircleCI configuration

Our CircleCI builds will fail anyways without large instances.

sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc