Remove unused include directory
Remove unused include directory

We were adding ${prefix}/include/mirage-xen/include to the include path,
but we no longer put anything here (see #138).

mato/mirage-solo5,mato/mirage-solo5