Remove dependency to camlp4

big queue of dose patches here, but it's simply a 'git format-patch' from the
dedicated branch on the dose repo. This is transitory.