Sync OCaml compiler PRs

The latest compiler pull requests for OCaml 4.02.0dev as of Thu 08 May 2014 10:12:57 BST