Rue: v1.5.7 - Names for opponents and improved end game menu

In this update, names are added for each opponent, which are randomised at the beginning of the game. Also ending the game now has a better experience, showing the user why someone won, and giving them the option to obs…