Add an option to override player names

[jleclanche]

Loading joust with a heroNames option or some such would replace the player names by their respective heroes.

Note: Long term we'll want a way to override the individual player names by another name of our choice at some level when we implement localization. Unless Joust handles that part itself (which it could).