mldonkey requires camlp4 and does not work on 4.02.0 because of the new-string-syntax-in-comment problem
Merge pull request #2716 from planar/mldonkey-camlp4-ocaml

mldonkey: two problems with 4.02.0