add pixie.string/split

somehow the `.split` method on strings doesn't work here, so we have to
use the rstring module directly.