IBM CEO Ginni Rometty is stepping down, and cloud executive Arvind Krishna will succeed her on.wsj.com/37F4ZxS