Remove hard dependency on camlp4

Not mergeable yet.