Build on travis with CPUS=2

With CPU=3 we are hitting resoure limits (probably memory). With CPU=2
this is less likely to happen. We will get more random timeouts, but
these are more easily spotted, and marked as "Failure", not as "Error".
Reduce volume of typechecker trace information
Comments only
Further improvements to floating equalities

This equality-floating stuff is horribly delicate!  Trac #9316 showed
up yet another corner case.

The main changes are
 * include CTyVarEqs when "growing" the skolem set
 * do not include the kind argument to (~) when growing the skolem set

I added a lot more comments as well
Update Cabal submodule to HEAD (1.21)

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Set i686 as the minimum architecture on 32-bit mingw

Signed-off-by: Austin Seipp <austin@well-typed.com>
travis: Install process via cabal

and install to global data base (bad practice, but ok on a throw-away CI
system).
Document OVERLAP pragmas.
Documentation typo
Comments only
Revert "Update Cabal submodule to HEAD (1.21)"

This reverts commit af28e61c7e84b8eb89fdfd9671af83a2a13f554a.
We'll wait until it's possible to bootstrap from 7.6 out of the box.
ghci: detabify/dewhitespace RtClosureInspect

Signed-off-by: Austin Seipp <austin@well-typed.com>
parser: detabify/dewhitespace Ctype

Signed-off-by: Austin Seipp <austin@well-typed.com>
parser: detabify/dewhitespace cutils.c

Signed-off-by: Austin Seipp <austin@well-typed.com>
profiling: detabify/unwhitespace CostCentre

Signed-off-by: Austin Seipp <austin@well-typed.com>
cmm: detabify/unwhitespace CmmInfo

Signed-off-by: Austin Seipp <austin@well-typed.com>
cmm: detabify/unwhitespace CmmLex

Signed-off-by: Austin Seipp <austin@well-typed.com>
ghci: detabify/unwhitespace ByteCodeGen

Signed-off-by: Austin Seipp <austin@well-typed.com>
ghci: detabify/unwhitespace ByteCodeInstr

Signed-off-by: Austin Seipp <austin@well-typed.com>
main: detabify/unwhitespace PprTyThing

Signed-off-by: Austin Seipp <austin@well-typed.com>