Merge pull request #19 from djs55/master

Bump version to 0.9.1
Bump version to 0.9.2

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Regenerate OASIS

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge Gntshr and Gnttab into one file

This enables the two modules to share types without their definitions
being exposed in the external interface.

Signed-off-by: John Else <john.else@citrix.com>
Replace "xenctrlext" with "xc"

Signed-off-by: John Else <john.else@citrix.com>
Tidy up the Gntshr interface and add comments

Signed-off-by: John Else <john.else@citrix.com>
Removed a few warnings.
Added ocamldoc headers.
Updated Eventch doc.
Use a boolean instead of RO | RW.
Local_mapping now local to Gnttab.
Merge pull request #17 from vbmithr/common-granttable-interface

Common granttable interface
Add xenlight to the un- and reinstall Makefile targets

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>
xenlight: ifdef-away only the libxl functions that are not yet upstream

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

xenlight: ifdef-away only the libxl functions that are not yet upstream
Update to 0.9.3

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Regenerate OASIS

Signed-off-by: David Scott <dave.scott@eu.citrix.com>