automate generation of toplevels with different version/variant of ocaml

It makes very easy to test news features : open-types, metaocaml, ..
see https://github.com/ocsigen/js_of_ocaml#toplevel

... and could maybe be integrated into ocaml.org ?
