Update NEWS, ChangeLog, and INSTALL.win32