Gitlab and CI migration (instructions)

Let's gather some info here and also see what needs to be done.