Bump interface to mirage-types-0.3.0
mirage-clock: use the appropriate variant
Use variant libraries for mirage-console/clock depending on the backend
kv_ro: fix test for latest interfaces
Add barebones Console example, for the truely minimal Mirage experience
Split Mirari library into Mirari_types, which doesnt have a dependency on Unix
sync oasis
build annot, bin_annot and debug symbols
update .gitignore
Add Mirage_types module
Xen: use correct main.native.o
xen: correct Makefile target (all -> build)
Xen: fix build (-dontlink unix) and correct output kernel path
Console test: Use Mirari_types rather than Mirari
Rename `Mirari.V1` to `Mirari_types.V1`
Add Travis scripts
Support `MODE=(xen|unix)` in the tests
Travis: add cmdliner dep
add Xen comment to Makefile
update .gitignore for temp lib_test files