Update the build system, using oasis 0.4 compiled_setup_ml
Use pure_interface to eliminate some unneeded files.