add travis

Signed-off-by: David Scott <dave.scott@citrix.com>
travis: work around my lack of bash-fu

Signed-off-by: David Scott <dave.scott@citrix.com>
Update CHANGES

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #8 from djs55/add-travis

add travis
Fix dependencies: this library does not depend on mirage-{xen,unix}

It only depends on mirage-types (plus a set of standard libraries)

Signed-off-by: David Scott <dave.scott@citrix.com>
update CHANGES

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