games/robocode: Update to 1.9.3.7

Changelog: https://robo-code.blogspot.com/2019/08/robocode-1937.html