Racket v8.13 is now available

[gus-massa]

Obligatory reminder:

@sorawee

When you freshly install a new version, no package from your previous version will be available. You can either use raco pkg migrate or “Copy from Version” in DrRacket (in File > Package Manager) to install all packages from a previous version.