doc: use https; add opam install oasis