Add camlp4 for modular implicits.
New compiler: 4.02.0+modular-implicits.
Move camlp4 modular implicits patch into a tree.
Merge pull request #2612 from yallop/modular-implicits

4.02.0 compiler extended with modular implicits + associated camlp4