[Backport 24.11] {alttpr-opentracker,am2rlauncher,avalonia-ilspy,clr-loader,dafny,formula,ilspycmd,inklecate,knossosnet}: update from .NET 6/7 to .NET 8

[GGG-KILLER]

Patches the following packages to point to .NET 8.0:

• am2rlauncher (issue upstream: .NET 6 has hit EOL AM2R-Community-Developers/AM2RLauncher#93)
• avalonia-ilspy: (issue upstream: .NET 6 has hit EOL icsharpcode/AvaloniaILSpy#151)
• clr-loader (no issue upstream because they're just sample projects and not actually built)
• dafny (issue upstream: Support dotnet 8 dafny-lang/dafny#4948)
• formula (issue upstream: .NET 6 has hit EOL VUISIS/formula-dotnet#42)
• inklecate (issue upstream: .NET 6 has hit EOL inkle/ink#922)
• knossosnet (issue upstream: .NET 6 has hit EOL KnossosNET/Knossos.NET#259)

The following have been upgraded to a new version that has support for a newer .NET:

• ilspycmd (upgrade to preview version was needed because it's the only one that has .NET 8 support):
  • https://github.com/icsharpcode/ILSpy/releases/tag/v8.1
  • https://github.com/icsharpcode/ILSpy/releases/tag/v8.1.1
  • https://github.com/icsharpcode/ILSpy/releases/tag/v8.2
  • https://github.com/icsharpcode/ILSpy/releases/tag/v9.0-preview1
  • https://github.com/icsharpcode/ILSpy/releases/tag/v9.0-preview2
  • https://github.com/icsharpcode/ILSpy/releases/tag/v9.0-preview3
• alttpr-opentracker:
  • https://github.com/trippsc2/OpenTracker/releases/tag/1.8.6

Part of #326335.
Backport of #366067.

cc: @wegank

Things done

• Built on platform(s)
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• For non-Linux: Is sandboxing enabled in nix.conf? (See Nix manual)
  • sandbox = relaxed
  • sandbox = true
• Tested, as applicable:
  • NixOS test(s) (look inside nixos/tests)
  • and/or package tests
  • or, for functions and "core" functionality, tests in lib/tests or pkgs/test
  • made sure NixOS tests are linked to the relevant packages
• Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
• Tested basic functionality of all binary files (usually in ./result/bin/)
• 25.05 Release Notes (or backporting 24.11 and 25.05 Release notes)
  • (Package updates) Added a release notes entry if the change is major or breaking
  • (Module updates) Added a release notes entry if the change is significant
  • (Module addition) Added a release notes entry if adding a new NixOS module
• Fits CONTRIBUTING.md.

---

Add a 👍 reaction to pull requests you find important.

[GGG-KILLER]

Cherry-pick check failure is because #368177 wasn't backported.