generated makefile includes in the build target a message that should include the extension

when configuring e.g. for hvt backend, there's a message "Your unikernel binary is now ready in $(BUILD_DIR)dist/hello-key" -- it would be great to include the `.hvt` in the message to avoid confusion.