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