WinDbg debugger tool updated with several new improvements