Move string append to core::str

[eholk]

There's no reason to retain two ways of doing what amounts to vector addition. Once this is done, a good chunk of our trans code will be dead. See #2709.

[msullivan]

I've started working on this. I have an implementation that works, but I need to go do performance things.