adjust docs for check-metafunction to make the example
use more representative

closes PR 13614
document define-metafunction's contract patterns properly

closes PR 13613
adjust commit 99ff0adbfda87791a99914b69caa0decef79cd04 to
be more friendly to the test suites
make check-metafunction and check-reduction-relation
pay attention to the contract/#:domain spec

closes PR 13616
Fix parsing of dotted formals.

Closes PR 13576.
windows: extflonum support

Enable extflonums in a MSVC build by relying on a MinGW-built DLL,
"longdouble.dll". The DLL is loaded on startup. If the DLL isn't
available, then `extflonum-available?' reports #f.

Instead of setting the floating-point mode globally to extended
precision, the mode is changed only just before (and restored right
after) extflonum arithmetic operations.
add a #:pre keyword to define-metafunction

The keyword allows the specification of contracts
that relate different arguments

closes PR 13617
fix header-file issues
avoid compiler warnings
fix non-extflonum build
more fixes to avoid warnings
documented :stxclass patterns
  closes PR 13565
change syntax-parse clause parsing code
add #:commit, fix other typos
basic pattern factoring for syntax-parse
do factoring for stxclasses (non-splicing only) too
unfold pat:and to uncover more factoring opportunities

Side clauses introduce pat:and, very common in stxclasses.
improve pattern factoring, misc cleanup
split out pattern optimization code
fix "one term at a time" mode for lifts
  closes PR 13597