add the experimental open types extension from http://www.cl.cam.ac.uk/projects/ocamllabs/projects/open-types.html
Merge pull request #284 from mirage/master

add experimental open types compiler switch