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