clarify autogenerated status of main.ml
improve xen support

* do not clash the object output name with one of the ML modules,
as ocamlopt also uses the `.o` suffix.  Instead, rename our target
excutable to `mir-<name>` and use that for the final target.
* force symlink construction via `ln -nfs`
* intermediate build errors with xen are a hard failure now.