chore(deps): bump @theia/preferences from 1.15.0 to 1.17.2

Bumps [@theia/preferences](https://github.com/eclipse-theia/theia) from 1.15.0 to 1.17.2.
- [Release notes](https://github.com/eclipse-theia/theia/releases)
- [Changelog](https://github.com/eclipse-theia/theia/blob/master/CHANGELOG.md)
- [Commits](eclipse-theia/theia@v1.15.0...v1.17.2)

---
updated-dependencies:
- dependency-name: "@theia/preferences"
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

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

Author: dependabot[bot]