Additional fix for deleting subtree of extensive game.

The patch commited in 44434841 was still not quite correct, as it
would leave some child nodes in the game tree.  This commit corrects
the logic.
Merge branch 'maint13'