depend on mirage-types, not mirage tool
update Mirage example to work with Xen
Merge pull request #205 from talex5/xen

Some updates for Xen