Merge pull request #6 from avsm/master

Add missing lwt.syntax to OASIS.
Fix Xen dependencies to use xen-evtchn and xen-gnt