Update to mirage-types with V1.BLOCK and 'id' function

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
'make uninstall' should work irrespective of whether configure has run

In particular opam needs to run a plain 'make uninstall'. We make
this work by automatically running configure if it hasn't been
run manually yet.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Release 0.7.0

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

Release 0.7.0
Cope with block devices whose sector size isn't 512 bytes

We need to go back and optimise this more: there is now an
unnecessary data copy.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
fat: fix 'create <filename>'

Previously it would fail when <filename> doesn't exist.. which happens
when using the 'create' subcommand.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Release 0.8.0

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

Fix FAT on xen blkfront
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