Move third-party miniz library to 3p/miniz-3.0.2#9114

kroening wants to merge 1 commit into

developdiffblue/cbmc:developfrom

3p-minizdiffblue/cbmc:3p-minizCopy head branch name to clipboard