Update OASIS 0.4.4 and use the alpha feature: compiled_setup_ml
Merge branch 'master' into monadize

Conflicts:
	INSTALL.txt
	Makefile
	configure
	myocamlbuild.ml
	setup.ml