bump to 0.7.1 trunk
Add Travis CI scripts
travis: add cmdliner dep
Sync the oasis findlib versions with those required by OPAM
Merge pull request #9 from Chris00/master

Sync the oasis findlib versions with those required by OPAM
Merge pull request #8 from mirage/travis

Travis