Update dependency paket to v7.2.0

[renovate[bot]]

This PR contains the following updates:

Package	Type	Update	Change
paket (source)	nuget	minor	7.1.5 -> 7.2.0

---

Release Notes

fsprojects/Paket

### [`v7.2.0`](https://togithub.com/fsprojects/Paket/blob/HEAD/RELEASE_NOTES.md#​720---2022-11-18) [Compare Source](https://togithub.com/fsprojects/Paket/compare/7.1.5...7.2.0) - BUGFIX: Dependency manager looked up older tool version of paket - [https://github.com/fsprojects/Paket/pull/4168](https://togithub.com/fsprojects/Paket/pull/4168)

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• [ ] If you want to rebase/retry this PR, check this box

---

This PR has been generated by Mend Renovate. View repository job log here.

[codecov[bot]]

Codecov Report

Merging #113 (648cda4) into master (b4a6f13) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #113   +/-   ##
=======================================
  Coverage   75.23%   75.23%           
=======================================
  Files           9        9           
  Lines         634      634           
  Branches       38       38           
=======================================
  Hits          477      477           
  Misses        133      133           
  Partials       24       24