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.