Cleanup provide handling in TR.
Make case-lambda correctly typecheck more interesting cases.

Also doesn't typecheck dead code based on case-lambda branches never
taken.

Closes PR 12973.
Move files accidentily put in collects into pkgs.
Redo the calculation of opt-lambda expansion.

Closes PR 13661.
Closes PR 13584.
more new contract test suite cleanups
fix stronger for ->* when there are #:pre and #:post conditions specified
raco setup: fix problem with info-domain clean-up
installers site: include documentation of built packages
raco setup: create destination doc directory if needed for move
make `doc/local-redirect' also handle search links
Travis notifications to #racket-dev
Add a few examples to FFI docs
Fix gen:dict example

Closes PR 13879
fix doc-redirection URL
raco setup: check package build dependencies for documentation

The check uses the cross-reference database that is created
by building documentation.
move `embedded-gui' docs from "gui-lib" to "gui-doc"
raco setup and scribble: fix problems tracking document changes

Some non-transparent but serializable data structures broke
the comparison between previous and new outputs, which caused
too many document rebuilds.

Includes a change to make module path indexes work with `equal?'.
fix doc typo
break various documentation dependencies by making them indirect

An "indirect" reference is resolved when HTML is loaded,
instead of at document-build time.
clean up deregistration of VNODE watches via kqueue()

The shotgun approach generates errors/warnings.