Bump version; update NEWS