[2018-11 LWG Motion 24] P1165R1 Make stateful allocator propagation more consistent for operator+(basic_string)

[jensmaurer]

P1165R1

[timsong-cpp]

This is intended to supersede the minor edits done to this subclause in P1148R0.