Various improvements to the oasis and Make files.
Add an opam file.
Add `dist.sh` to help releases.
Update travis (and add 4.02.1)