games/robocode: Update to 1.9.3.2
Changes: http://robo-code.blogspot.com.br/2018/04/robocode-1932.html