If match timer is used, the AI consumes now also time for their priority action. Some minor changes to Gamemanager.