Update NEWS.
Fixed bug with Lua printing buffering too long sometimes in Windows.