python: sum string lengths,length = sum(len(s) for s in strings)