Use GitLabCI for dune-testtools

How hard is this to realize for you @dominic? I guess we need the Docker image and then it works no?