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