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

This commits adds a gitlab-ci integration test target, and the
.integration.nix file, which specifies the exact test version pinning to
use.