games/robocode: Update to 1.9.3.5
Changelog: https://robo-code.blogspot.com/2019/03/robocode-1935.html