Add std::str::Chars remaining() function: #12395