Import tools/ocaml/libs from xen-4.2