patchkit: binary patching from Python