Migrate WebLab build tools to gitlab
With the planned (long term) replacement of the Forge, it would be good to start migrating to the forge. The most simple project is this one (and is somehow required prior to migrate the core) so it will be the first one to be migrated.