Some trivial cleanup

- Got rid of the verbiage in README.md.
- Removed auto-generated INSTALL.txt.
- Some minor cleanup to _oasis.
Merge branch 'cleanup'

Conflicts:
	README.md
	setup.ml