Remove OASIS `setup.data', fix `opam' file