chore(tools): update Makefile to respect deps.
doc: use https; add opam install oasis
doc: use https; add opam install oasis