add opa-base, the extended standard library developped by MLstate for opa