Use --no-user-package-conf instead of --no-user-package-db, because the former appears to work for more versions of ghc-pkg.
Add support for both Xen 4.2 and 4.3
Get latest halvm-ghc fixes.