Update

Merged Guillaume HEUSCH requested to merge update into master

Updated all the stuff for the gitlab + CI migration

Merge request reports