Update some packages using oasis2opam