Stephen Elop, who had been chief executive at Nokia before its mobile purchase, is leaving Microsoft, where he led the hardware devices business.