Bump infection/infection from 0.25.0 to 0.25.1 in /tools (#270)

Bumps [infection/infection](https://github.com/infection/infection) from 0.25.0 to 0.25.1.
- [Release notes](https://github.com/infection/infection/releases)
- [Changelog](https://github.com/infection/infection/blob/master/CHANGELOG.md)
- [Commits](infection/infection@0.25.0...0.25.1)

---
updated-dependencies:
- dependency-name: infection/infection
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Author: dependabot[bot]