Adjust clocks after punch even if time expired
Adjust clocks after punch even if time expired

Add increments or reset time due enough moves made even if the result
returned by punch will be a game-ending Game_Result. Games with GUIs and
games over the internet ignore clock.punch() results.

MarkZH/Genetic_Chess,MarkZH/Genetic_Chess,MarkZH/Genetic_Chess,MarkZH/Genetic_Chess,MarkZH/Genetic_Chess