games/robocode: Update to 1.9.4.7
Changelog: https://robo-code.blogspot.com/2022/08/robocode-1947.html