Bump version, document, update NEWS