split string on whitespace in python,"re.findall('\\S+', s)"