Build(deps): Bump third_party/sby from 62d1708 to 117fb26 (#2611)

Bumps [third_party/sby](https://github.com/YosysHQ/sby) from `62d1708`
to `117fb26`.
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/YosysHQ/sby/commit/117fb26c689d8ce587a6da19c2d6f71b71fa0d42"><code>117fb26</code></a>
Merge pull request <a
href="https://redirect.github.com/YosysHQ/sby/issues/298">#298</a> from
YosysHQ/george/smtbmc_paths</li>
<li><a
href="https://github.com/YosysHQ/sby/commit/9583985d06ba568bb946e7ce416ed5ab7f8626c4"><code>9583985</code></a>
smtbmc: match on full property paths instead of just names</li>
<li>See full diff in <a
href="https://github.com/YosysHQ/sby/compare/62d17081bf620c8571653e7845b137ec465109c7...117fb26c689d8ce587a6da19c2d6f71b71fa0d42">compare
view</a></li>
</ul>
</details>
<br />


Dependabot will resolve any conflicts with this PR as long as you don't
alter it yourself. You can also trigger a rebase manually by commenting
`@dependabot rebase`.

[//]: # (dependabot-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits
that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after
your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge
and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating
it. You can achieve the same result by closing it manually
- `@dependabot show <dependency name> ignore conditions` will show all
of the ignore conditions of the specified dependency
- `@dependabot ignore this major version` will close this PR and stop
Dependabot creating any more for this major version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop
Dependabot creating any more for this minor version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop
Dependabot creating any more for this dependency (unless you reopen the
PR or upgrade to it yourself)


</details>