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. Here’s a picture of what that looks like:

Also ending the game now has a better experience, showing the user why someone won, and giving them the option to observe the game before quitting.