Gitlab ci

Guilhem Bonnefillerequested to merge
(removed):gitlab-ci into master

Seems ready.

I forgot the documentation I have to improve since website publication is now made automatically.

Merge request reports