Sync OCaml compiler PRs

The latest compiler pull requests for OCaml 4.03.0 as of Fri 19 Sep 2014 00:00:01 BST