Add a WARNING file to show at the end of the INSTALL script