Sync OCaml compiler PRs

The latest compiler pull requests for OCaml 4.02.0dev as of Tue 08 Apr 2014 00:00:01 BST