Updates INSTALL file for new release.