Various improvements to the oasis and Make files.
Add an opam file.
Add `dist.sh` to help releases.