NEWS: Bump version number.