Update `pickle{tools,}.py` from 3.13.5#6064

youknowone merged 1 commit intoRustPython:mainRustPython/RustPython:mainfrom

ShaharNaveh:update-pickleShaharNaveh/RustPython:update-pickleCopy head branch name to clipboard