games/robocode: Update to 1.9.5.1
Changelog: https://robo-code.blogspot.com/2023/07/robocode-1951.html