compile with annot files by default
Use explicit command-line flags to pass through the --unix and --xen compiler switches.

This requires the latest OPAM package specifications, and is part 1 of a commit series