Release 0.20.0#467

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

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