python count chars in file(s)