This initial commit adds the README and a GitLab CI configuration as
used in other places in this GitLab instance.