Add a `--no-install` option to `mirari configure` to prevent invoking OPAM automatically.
fix xen symlink upon build