build(deps): bump third_party/tools/synlig from f5cd191 to 10efd31

Bumps [third_party/tools/synlig](https://github.com/chipsalliance/synlig) from `f5cd191` to `10efd31`.
- [Release notes](https://github.com/chipsalliance/synlig/releases)
- [Commits](chipsalliance/synlig@f5cd191...10efd31)

---
updated-dependencies:
- dependency-name: third_party/tools/synlig
  dependency-type: direct:production
...

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