Port examples to latest Tyxml/Eliom/Camlhighlight API