Fix opam: the devel version depends on oasis