abc: extract compressed Liberty files to temporary directory#4841

Draft

widlarizer wants to merge 14 commits intomainfrom emil/gzip_abc

+800-546

Commits on Dec 19, 2024

io: refactor string and file work into new unit
widlarizer
committed

Commits on Dec 20, 2024

gzip: istream
widlarizer
committed

Commits on Jan 3, 2025

Commits on Jan 4, 2025

Commits on Jan 10, 2025

abc_new: extract .lib.gz to temporary directory
widlarizer
committed

Commits on Jan 13, 2025

abc: centralize gzipped Liberty extraction, use a separate directory, still allow per-module tmp dirs
widlarizer
committed
abc_prep: refactor utilities into new namespace
widlarizer
committed
abc9: enable gzipped Liberty files, extend abc_prep
widlarizer
committed