Update setup.ml to the latest OASIS version
Update setup.ml to the latest OASIS version

Ignore-this: ed7114efe5414bd4ddd5e217e44f866f

darcs-hash:20100408093358-a43a9-027e011d243b341edc14221b590b973da81777a5

RadicalZephyr/oasis,diml/oasis,madroach/oasis,Chris00/oasis,madroach/oasis,RadicalZephyr/oasis,jpdeplaix/oasis,avsm/oasis-mirror,avsm/oasis-mirror,gerdstolpmann/oasis,avsm/oasis-old,diml/oasis,Chris00/oasis,gerdstolpmann/oasis,Chris00/oasis,avsm/oasis-mirror,avsm/oasis-old,jpdeplaix/oasis,avsm/oasis-old,jpdeplaix/oasis,gerdstolpmann/oasis