Infor announces Koch Industries has agreed to buy the company in a massive $13 billion deal.