GitLab

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