fixed a bug which made patching jumps impossible
added option for "DebugSetProcessKillOnExit"
added option to load symbols from ms servers