Sync OCaml compiler PRs

The latest compiler pull requests for OCaml 4.02.0dev as of Sun 06 Apr 2014 17:39:23 BST