The World Cup has seen superstars, pitch invaders, heartbreak and joy across its 96 years — and, on Sunday, ​it got a robot.