games/robocode: Update to 1.9.5.2
Changelog: https://robo-code.blogspot.com/2023/10/robocode-1952.html