opam instructions link update.