Updated "mirage configure --xen" for new Mini-OS and libm

We now get these via pkg-config.