games/robocode: Update to 1.9.4.8
Changelog: https://robo-code.blogspot.com/2022/11/robocode-1948.html