Documentation: use new syntax for record GADTs (#7915)
Make dynamic GHC no Windows installable too

We need different paths in the wrapper, as teh installed tree is a
different shape to the build tree.
Don't link base/rts/... into C wrapper programs
Move the genSym stuff from rts into compiler

It's no longer used by Data.Unique, so there's no need to have it
in rts any more.
Don't try to make windows-installer

It was removed in 9e4e2c24d1895ae81c92e4432b91026505827c96.
Update a comment; spotted by Carter Schonwald
Fix parsing export lists

We were accepting
    module ExportCommaComma (id, reverse,,) where
where only 1 trailing comma should be permitted.
Remove unused __2Int_encodeDouble
Expose __word_encode{Float,Double}; fixes integer-simple build
Add some extra debugging info
Fix a build problem with integer-simple

We were trying to look up the mkInteger Id before we'd compiled
the Integer modules. I'm not sure why this never showed up with
integer-gmp; possibly we just always got lucky with the build
order.
Fix build problem: Error: junk `.get_pc_thunk.bx' after expression; trac #7799

Affects i386 only. Some gcc's generate code containing __i686, and then
define that symbol to 1, which causes compilation to fail. We undef
the symbol to work around it.
We can't use Integer literals when compiling the integer-* package, either
Refer to the wiki page in the "Make has restarted itself n times" error

Fixes #7592.
Need to work around #7799 on all i386 platforms, not just Darwin
Fix -dynamic-too on Windows

If we're building the dynamic way too, then hasCafRefs needs to check
whether the dynamic way would use a dynamic name.
Simplify kind generalisation, and fix Trac #7916

A buglet that exposed an opportunity for some welcome refactoring
and simplification.  Main changes

* TcMType.zonkQuantifiedTyVars is replaced by quantifyTyVars, which
  does a bit more zonking (so that its clients do not need to)

* TcHsType.kindGeneralise becomes a bit simpler, and hands off
  to quantifyTyVars

* A bit of simplification of the hacky code in TcTyClsDcls.tcConDecl,
  where we figure out how to generalise the data constructor's type

* Improve the error message from badExistential when a constructor
  has an existential type, by printing the offending type

* Some consequential simplification in simplifyInfer.
fix comment (#7907)
Fix a problem caused by very large objects (#7919)

As far as I can tell the bug should be harmless, apart from the
failing assertion.  Since the ticket reported crashes, there might be
problems elsewhere that aren't triggered by this test case.
Handle -opt<blah> options more consistently (#7909)

Now these are always added by the run<blah> functions in SysTools, so
we never miss any out.  Several cleanups resulted.