Change s1 + s2 to s1.append(s2.as_slice()) for efficiency.
Update README and docs for improved string append