Sync OCaml compiler PRs

The latest compiler pull requests for OCaml 4.02.0dev as of Tue 25 Mar 2014 15:29:46 GMT