Remove old modular implicits compiler
Fetch modular implicits from ocamllabs instead of def-lkb