Add compiler (skeleton)

This adds an mcl to OCaml compiler and some test cases

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>