Added oasis as opam dependency