don't hide the tooltip frame before moving it under linux
Add type tooltip information in TR modules

This lets DrRacket show types for expressions that
are typechecked.
Added `get-current-gl-context`, tests (also for `make-gl-bitmap`), and docs
fix rendering of metafunctions that use ∪, ∨, etc in the range contract
Add TR tooltips for type errors as well.

Adjust type tooltips to only show if there isn't a type
error on that syntax location.
update the redex unix bitmap expected results for recent change
adjust the tooltip check syntax property to insist
on the syntax object itself to identify the source,
instead of just handing over the source
improve the way tooltips line things up

In particular, when a single tooltip entry has a string like:

  "wwww\n  ii"

then be sure to line up the first "i" underneath the third "w".
Adjust tc-utils too for new DrRacket protocol
redex: add typed generators to the benchmark

- change delim-cont to generate a store as well
- add version of rvm that works with #:satisfying
- add version of list-machine that works with #:satisfying
- new rewrites for the above
- infrastructure to wire all of this together
fix delim-cont tests
fix redex benchmark dependencies
Fix type for read-bitmap

Closes PR 14729
configure: add `--enable-natipkg` and 64-bit Linux native libraries

The `--enable-natipkg` configuration option adds "-natipkg" to the
platform library subpath. The suffix is intended to trigger the
installation of packages that supply native libraries for supported
platforms (where 64-bit Linux is the supported platform, for now, for
main-distribution packages), instead of relying on libraries installed
via the OS's package manager.

The intended client for "-natipkg" is the package-build service, where
installing packages via the OS package manager would require network
access and either trust or constrained installations. The build
machine is intentionally disconnected from the network and can only
access Racket packages, so repackaging native libraries as Racket
packages makes those libraries accessible.

A disadvantage of this approach to installing native libraries is that
it creates work for implementers of packages that access native
libraries. Those implementers will have to supply packages for 64-bit
Linux versions of native libraries to the degree needed to build and
(eventually) test the package. An advantage of the approach is that it
requires no changes to the package system; it will be cheap to replace
this approach if we find a better way to deal with native libraries
and/or OS packages in the package-build service.
distro-build: "detail" label rendering on download page
Use bytes consistently in regexmatch.

Inconsistency found by Tobias Pape, see GH issue #792.
redex: fix distribution cache in search
add missing file from previous push
Post-release version for the v6.1.1 release
Delete useless definition