Rename ghc-prefix to halvm-prefix
More work on the install target