Add optional argument to ADD-TEXT-PROPERTY that allows it to add the

Add optional argument to ADD-TEXT-PROPERTY that allows it to add the
property to a region without overwriting any existing sub-regions in
which the property is already bound.  Also: invert sense of predicate
passed to MODIFY-TEXT-PROPERTIES, so that it identifies the intervals
to be modified rather than those not to be modified.