Add replaceCharacters(in:with:) that takes NSAttributedString

Add an overload of replaceCharacters that accepts an NSAttributedString
instead of just a plain String. This allows preserving text attributes when
replacing text via text finder, which is needed for rich text find and replace.