Travis: test we can build mirage-xen
Update to minios-v0.5 and openlibm-v0.4.1-tal1

This allows us to build Mini-OS and Openlibm with -nostdinc.