Tab-indent Gnttab to match Gntshr

$ camlp4o -printer o -no_comments lib/gnt.ml | md5sum
385ea8ad2bad3c03f3748d9c7a1a94f7  -
$ git checkout HEAD^
$ camlp4o -printer o -no_comments lib/gnt.ml | md5sum
385ea8ad2bad3c03f3748d9c7a1a94f7  -

Signed-off-by: John Else <john.else@citrix.com>
Add with_gnttab and with_gntshr

Signed-off-by: John Else <john.else@citrix.com>
Merge pull request #38 from johnelse/with-gnttab-gntshr

Add with_gnttab and with_gntshr
xenlight: LIBXL_SHUTDOWN_REASON_UNKNOWN is now 255

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>
xenlight: update to xen 4.3

NOTE: the #define OCAML_READY lines need to be put back in!

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>
Update to the latest upstream libxl bindings

Also include the libxl_types.idl and tools to auto-generate
parts of the bindings from, and a script to help doing so.

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>
Merge pull request #39 from robhoes/xen-unstable

Update to latest libxl bindings from xen-unstable
xenlight: fix timeout handling

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>