Adding a flag finished_overtime and changing how the end of the second extended half-time
is treated.
Note that the code changed was previously unreachable since it contained
usage of a member that was never defined game.ready_real_Time with a
capital T
Solving this mode required:
finished_overtimeand changing how the end of the second extended half-time is treated.game.ready_real_Timewith a capitalT