HP’s failure is Microsoft’s win as 1000 webOS developers migrate