Doosan Robotics’ blockbuster IPO—the biggest in Korea this year—shows that the robot stock craze has well and truly arrived.