Added string.split() function and string.lower()/string.upper() stub functions.

string.split() is mostly tested and seems to work.  Documenation will follow shortly.