Idea: rename leader titles

[Gnome Boy]

The game already allows us to choose the title for our ruler, so I thought it would be a fun idea to also allow us to change the names of other leaders. For hive minds, for example, having admirals and scientists makes not much sence. It would also add lots of flavour, and since the system to name rulers is already in the game, it shouldn't be too hard to implement.