Doc: track the odoc generate html files instead of generating them in the CI

Because currently, the docker image that  builds the pages via the CI
can not run odoc as it require a more recent dune version. It is because
this image used opam 1

using opam 2 would fix this. will do latter