Player names should be bigger

[cmichi]

On the big screen the player names were hard to read. Since we limit the player name to a length of 16 anyway, we should choose the font size so that with 16 characters it takes up most of the space.