Remove hard dependency on camlp4

This is a preliminary pull request. Discuss, but do not merge yet.
We can drop this one, I think.