Bump gimli from 7b828cb to a5f5b72

Bumps [gimli](https://github.com/gimli-rs/gimli) from `7b828cb` to `a5f5b72`.
- [Release notes](https://github.com/gimli-rs/gimli/releases)
- [Commits](gimli-rs/gimli@7b828cb...a5f5b72)

Signed-off-by: dependabot[bot] <support@dependabot.com>

Author: dependabot-support