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
Install runtime headers for mirage-xen.

- Provides C code with headers that match the minimal libc
  and OCaml functions they will be linked against.
Use the mini-os APIs for mapping in grants rather than our internal fns

Our 'map_onto' hack doesn't seem to work on ARM mini-os, so let's use the
official mini-os functions instead.

Signed-off-by: David Scott <dave.scott@citrix.com>
stub_gnttab_mapv_batched should call gntmap_map_grant_refs

Now that we've switched to an 'allocating' interface, we have to
implement both individual mapping and batch mapping.

Signed-off-by: David Scott <dave.scott@citrix.com>
xen: use the 'allocating' style of 'gntshr' (aka gntmap)

The new mini-os APIs are allocating in the sense that they return
fresh buffers containing foreign grant-mapped pages rather than
requiring us to pass in our own buffers.

One day everything will be this style and we can get rid of the
dead code.

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge branch 'minios-gntmap' of git://github.com/djs55/mirage-platform
Sync CHANGES
Fix "infinite" delay when no timeouts are scheduled

Was passing an interval as a time.
Merge pull request #104 from talex5/fix-clock

Fix "infinite" delay when no timeouts are scheduled
release 2.0.0
Depend on mirage-profie to add tracing support

- Report time spent in caml_minor_collection and block_domain.
- Label Xen event channel threads.
- Label threads waiting for XenStore.
- Label sleep threads.