Split string on whitespace in Python,"re.split('\\s+', s)"