travis: unset OPAM_VERBOSE to generate less logging

Travis seems to have a limit on the amount of logging it's prepared
to capture.

Signed-off-by: David Scott <dave.scott@citrix.com>
travis: add dependency on mirage-xen-minios

Signed-off-by: David Scott <dave.scott@citrix.com>
travis: Only OCaml 4.01.0 is supported

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

travis: unset OPAM_VERBOSE to generate less logging
Moved mainloop to OCaml

This makes the code simpler and easier to explain.
Fix querying of location of mirage-xen.

The issue arise when multiple paths have been specified in findlib.conf.
- For installation use destdir instead of path.
- In scripts/mir-xen-build, use ocamlfind query mirage-xen.
Merge branch 'ocaml-mainloop' of git://github.com/talex5/mirage-platform into talex5-ocaml-mainloop
Sync CHANGES
Merge branch 'fix-mirage-xen-destdir' of git://github.com/paurkedal/mirage-platform
sync CHANGES