GitLab

This commits simplifies the CI setup for this repository, offloading
all complexity to the "argotest" repository.