remember the penalty of the substituted player

When substituting a player, the substituting player should keep the
remaining penalty time of the substituted player. In the humanoid
league there are two different penalty times (30s and 60s) which
requires that the type of penalty is remember to correctly calculate
the remaining time.
Merge branch 'master' of https://github.com/bhuman/GameController
Give network threads the time to terminate
Merge remote-tracking branch 'upstream/master'