Idea: separate team/robot/organisation names

[PeterJCLaw]

Currently there's only a single "name" field for each team, which is used everywhere.

However:

• sometimes teams' names have no relation to their organisation name, so it can be hard to identify one from the other
• some teams want to name their robot, which again may or not relate to their team or organisation name

It might be nice to support various alternative names and have these show up in various places.