Release 2.4.2

What's changed

• Add stan plugin option #1000
  (#1000) by @fendor
• Probe for GHCup binary wrt #962
  (#963) by @hasufell
• Bump old hls version and upgrade test runner to macos-latest
  (#960) by @July541
• Increase time limitation to make test on Windows more stable
  (#959) by @July541
• Update release docs for refreshing CI tokens
  (#942) by @fendor