games/robocode: Update to 1.9.5.0
Changelog: https://robo-code.blogspot.com/2023/02/robocode-1950.html