Updating Readme with a link to the HAL specification