Add support for building on FreeBSD
Add CHANGES entry on the FreeBSD support
Fix build on 64-bit FreeBSD systems
unix: install shouldn't remove 'xenctrl' package

The xen backend 'provides' a 'xenctrl' package, but the unix backend
doesn't -- you should use the separate userspace C bindings.
Merge pull request #49 from djs55/fix-xenctrl

unix: install shouldn't remove 'xenctrl' package
Merge pull request #48 from pgj/master

FreeBSD-specific build fixes
reverted the Console modifs in CHANGE also.
Prevents spinning in "Activations.run" when a thread is blocked,
then awakened, and added to the sequence already being traversed.
By adding the awakened event to the front, we don't traverse it
again in the same iteration.

Signed-off-by: James Bielman <jamesjb@galois.com>
Acked-by: Anil Madhavapeddy <anil@recoil.org>
Merge branch 'master' of github.com:mirage/mirage-platform
bump version, mark 0.9.3