Python extension for WinDbg - Execute till User Code