[Coq8.4pl1] Add dependency on camlp5. Camlp5 seems preferred to camlp4.
Merge pull request #435 from bobot/master

 [Coq8.4pl1] Add dependency on camlp5.