Release 0.25.0#571

philipc merged 2 commits intogimli-rs:mastergimli-rs/gimli:masterfrom

philipc:releasephilipc/gimli:releaseCopy head branch name to clipboard