Adding insult to injury after Wall Street boosted Microsoft’s stock price when CEO Steve Ballmer announced he would retire, now a U.K. bookmaker is taking bets on Ballmer’s replacement.