add skeleton travis files
travis: correct CURL invocation
travis: show recent HEAD
travis: disable 4.00.1 for the moment until the PPA works
travis: try to build a set of pkgs to build from the pull req
Travis; do the opam install via a heuristic script
Merge pull request #1 from mirage/travis

add skeleton travis files
Merge pull request #1129 from mirage/master

Add "beta" travis scripts for CI