[Coq8.4pl1] Add dependency on camlp5. Camlp5 seems preferred to camlp4.