Construct a copy, but specify a different allocator.
allocator_binder( const allocator_type & s, const allocator_binder & other);