This patch adds a configuration file for the GitLab CI environment, to run the integration tests with docker.