4.02.0 compiler extended with modular implicits + associated camlp4

can we make this a git tree?