pjmkrpg

Add menhir support

2

`.mll` and `.mly` files allow more comment styles than in Ocaml

I tried to compile Leon code using the generic `copy()` method for generic case classes (see [here](http://stackoverflow.com/questions/7249396/how-to-clone-a-case-class-instance-and-change-just-one-field-in-scala)), but it seems that it is not yet in the Leon library. Is...

The Esc key is always caught by the extension, even if blobs/prompt are not visible. It is disturbing when I actually need the Esc key (e.g. exit a full-screen picture...