Move Xen RTS code to the halvm-ghc tree.
Bump halvm-ghc to include RTS code.