Robothorium: Update 0.9.7: New year patch with bug fixes

We’re back from celebrating Christmas and New Year’s Eve, and we’re more motivated than ever! Here is a small patch to fix a few bugs remaining, including some that could prevent some players to start a game correctly o…