[builtin] Str.split() supports eggex separator (#2051)