IDAScript to create Symbol file which can be loaded in WinDbg via AddSyntheticSymbol