Switch to an oasis-based build-system

This a big commit

- the build process was replaced by a `Makefile` with new or updated
scripts in `tools/`, among which `tools/please.ml` which generates the `_oasis`
file from `_oasis.in`.
- the travis build was improved,
- and the documentation was updated.