doc(order/game_add): improve docstrings (#18269)
We add simpler descriptions for `game_add` and `well_founded.prod_game_add`, without removing previous references to combinatorial games.
Mathlib 4 pair: https://github.com/leanprover-community/mathlib4/pull/1798
