xen: installing mirage provides a virtual package 'xenctrl'

An xen device driver can now depend on 'xenctrl' and build both
in mirage and in Linux userspace.
Add missing file
Merge pull request #32 from djs55/sync-eventchn-with-xen

Add xenctrl package, properly this time