Release 4.0.1

[vicajilau]

Dates the 4.0.1 heading and bumps pubspec.yaml from 4.0.0.

#244 is the only thing merged since v4.0.0, and its two entries were already in the section, so there is nothing else to write. Checked the README too: this change is internal to SSHChannelController with no public API and nothing the README describes, so it needs no update.

Worth not sitting on. The stall it fixes is in the published 4.0.0: a peer that fills the advertised window before the application subscribes leaves the channel at zero credit permanently, and the symptom is a dead socket with no error. The README's own remote forwarding example reaches it, since it awaits Socket.connect() before subscribing.

Verified on the 3.13.2 SDK: dart format and dart analyze --fatal-infos clean, 692 tests passing, dart pub publish --dry-run with 0 warnings.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 76.12%. Comparing base (f34badf) to head (cc4dca7).

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #245   +/-   ##
=======================================
  Coverage   76.12%   76.12%           
=======================================
  Files          81       81           
  Lines        6396     6396           
=======================================
  Hits         4869     4869           
  Misses       1527     1527           

Flag	Coverage Δ
unittests	76.12% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.