why is ocaml3 only due to stdlib sig changes
add another Core constraint
Merge pull request #414 from mirage/master

more jenkins constraints