Compiler switch to try out record constructors

As discussed [on Mantis](http://caml.inria.fr/mantis/view.php?id=5528), this is a switch to allow people to easily test out Alain Frisch's test branch that allows writing

type t = A of {x: int}

I think I made the files correctly, if it's as easy as it seems.