add `Fat.KV_RO` which is a read-only subset of the filesystem.
Regenerate OASIS files with 0.4.0
bump to 0.9.0
Generate annot, bin_annot files and ensure principal typing
Travis: add cmdliner
Travis: further missing deps
Merge pull request #20 from avsm/add_kvro

Add V1.KV_RO interface
Use buffered I/O by default in the command-line tool

This speeds up activities like using 'fat add' to generate
the mirage-www files.img from 4:30s to 0:01.8s on my laptop
(with spinning disks)

Unbuffered I/O can still be used by adding '--unbuffered'

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge pull request #22 from djs55/buffered

Use buffered I/O by default in the command-line tool
Release 0.10.0

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge pull request #23 from djs55/release.0.10.0

Release 0.10.0