GitLab

In order that we keep the CI scripts in line, it is better to have them
in a submodule that can be synchronised separately. This avoids the
problem of having to update the scripts directory in every component.