Flambda trunk

Here is the branch of Pierre Chambart containing an improved optimization pass, called flambda. We are looking for testers and reviewers to help for its integration in trunk !