Remove hard dependency on camlp4

This is a preliminary pull request. Discuss, but do not merge yet.
See the _oasis comment.