Add configuration and docker definitions for tests and builds in Gitlab CI platform. Some of them currently fail, which is a known problem.