Fix installation

The build system thought that the RTS built more library files than
it actually did, and installation failed when we tried to 'strip'
one of these non-existant files.
In build.mk.sample, include v in GhcLibWays even if DYNAMIC_GHC_PROGRAMS is set

Although it's not technically needed, it's less confusing if the vanilla
way works when people use the sample build.mk.
This changes fixes a bad error in canonicalisation, concerning kind equality

We care careful not to construct a canonical equality whose LHS and RHS
have incompatible kinds.  (This is one of the invariants of a canonical
equality.)  See Note [Equalities with incompatible kinds].  However,
what I had not dealt with is when LHS and RHS *look* as if they have
different kinds, but after zonking they become the same.  Bad!

(This led to an ASSERT failure in the test for Trac #7176.)
Fix Trac #7805: don't allow nested foralls in promoted types
Fix Trac #7804, about floating equalites

We float unsolved equalities from underneath a 'forall', to
help solve them, in TcSimplify.floatEqualities.

It's regrettably delicate though,as this bug shows. I'm not
happy with the new code; but there are copious notes; see
Note [Float equalities from under a skolem binding].
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Fix typos
When making a DLL, print the number of symbols that are in it
Change the list of modules that are put into a separate DLL on Windows

Fixes #7780.
Rename the FFI DLL to libffi.dll for consistency
Whitespace only in TysWiredIn
Split off a InteractiveEvalTypes module to remove an import loop
Whitespace only in Type
Detab modules with tabs on 5 lines or fewer
Derive instance Eq for CmmNode
Build system fix: really print the number of symbols in DLLs
Rewrite usingInconsistentPicReg as a table for clarity

No change in functionality intended
Remove a redundant build-system hack

We used to have to explicitly pass -lffi when linking the compiler,
but it's no longer necessary.
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Typos