Change make-predicate/define-predicate to use flat-contract-predicate.

Closes PR 14610.
Add tests for generated syntax of static contracts.
Make TR contract generation not wrap everything in recursive contract.

Eta expand struct predicates, as this was the reason for recursive
contracts in the first place.

Closes PR 14611.
Replace procedure-rename with eta-expansion.

Closes PR 14612.
racket/draw: fix bad rounding of paper sizes in points
pkg/lib: add `#:package-exn-handler` to `pkg-catalog-archive`
scribble/manual: change `history` sort order

Now that some entries have changes over multiple versions, a forward
sort order seems better than reverse to me.
scribble & pict: add history

These history notes should have been part of commits c4a58dc4a5 and
05760a12f6.
raco test: add history note on `--heartbeat`

Should have been included with f3c8638366.
fix async-channel static contract in TR
add @history[] note for 74831b41cc
added @history[] note for d067311cf7
added @history[] note for e8bfd42d36
Unix installer: add support for command-line arguments

Command-line arguments replace interactive prompts, which is
better for scripting runs of the installer.
file/untar: fix handling of filename prefix in USTAR format

Combine prefix and filename with a "/".
fix typo in doc implementation
tools doc: fix use of block in an element

Also, adjust @history[] use to make the change more clear in
rendered docs.
Remove wrapping in typed/racket/async-channel

Now that TR supports contracted functions, the wrapping
is not necessary.
Make union simplification not happen during subtyping.

Union simplification calls subtype, calling subtype during subtyping is
slow so we want to avoid it.

Closes PR 14582.
Fix inference of two recursive types.

Closes PR14608.