The sum of combinatorial games