Sync OCaml compiler PRs

The latest compiler pull requests for OCaml 4.02.0dev as of Thu 27 Mar 2014 11:13:20 GMT