Add xenlight and xentoollog modules

The xenlight module currently depends on changes in libxl that are not
yet upstreamed (but submitted upstream). Therefore, you need a special
version of the Xen RPM to compile the C bindings. The special version
has OCAML_READY #defined in libxl.h, so we are compiling the bindings
conditionally.