Update dependency paket to v8

[renovate[bot]]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
paket (source)	7.2.1 -> 8.0.0

---

Release Notes

fsprojects/Paket (paket)

### [`v8.0.0`](https://togithub.com/fsprojects/Paket/blob/HEAD/RELEASE_NOTES.md#800---2023-11-14) [Compare Source](https://togithub.com/fsprojects/Paket/compare/7.2.1...8.0.0) - Support for .NET 8.0 - Support for net481 - [https://github.com/fsprojects/Paket/pull/4227](https://togithub.com/fsprojects/Paket/pull/4227) - paket init: Default framework restriction - [https://github.com/fsprojects/Paket/pull/4228](https://togithub.com/fsprojects/Paket/pull/4228)

---

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 #138 (5d2ee09) into master (db9a618) will not change coverage. The diff coverage is n/a.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## master #138 +/- ## ======================================= Coverage 77.74% 77.74% ======================================= Files 9 9 Lines 692 692 Branches 41 41 ======================================= Hits 538 538 Misses 127 127 Partials 27 27 ```