Switch build to OASIS

Note: mirage-console-xen does still depend on mirage-xen since
it needs access to the Start_info page.

Signed-off-by: David Scott <dave.scott@citrix.com>