Microsoft releases a brand new WinDbg debugger tool