A video game company made a bot the CEO, and its stock climbed