Remove hard dependency on camlp4

This is a preliminary pull request. Discuss, but do not merge yet.
One can wish.