Bump version number; update NEWS