Reimplement java.lang.String with JS Strings.

We might want to move that over at some point (perhaps as part of a larger change to move the natives in native.js to domain-specific scripts).