python: is there a library function for chunking an input stream?,"[data[i:i + n] for i in range(0, len(data), n)]"