Merge pull request 'remove gitlab CI, force build isolation' (#75) from ci-ordering...