Add release instructions for regenerating INSTALL