Get mirage-xen-minios through OPAM