change .gitlab-ci to generate public accessible doc

This MR change the .gitlab-ci-yml to publish the documentation on gitlab.io

It also restructure the CI in three stages (build, test, pages).

In the test phase, I've also added an ocamlformat check.

The last commit test. should be removed before merging.