Add files generated by oasis so we do not need the oasis dependency in opam.