It seems they are in fact making some major upgrades to the developer tools, as described here: http://msdn.microsoft.com/en-us/library/ie/bg182632(v=vs.85)...

Some of it appears to be parity with existing dev tools for other browsers, but it looks like some very welcome improvements.