add opam libraries