Updated build system, now with HALVMCore and an install target.