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