Removing all traces of gitlab metadata

House cleaning, some of this, particularly CI of remote execution
services, needs to be revived in a different way in github workflows.
11 files changed