Sync OCaml compiler PRs

The latest compiler pull requests for OCaml 4.03.0 as of Tue 13 May 2014 07:51:16 BST