Update strictness documentation (Trac #7546)
Fix bug in External Core pretty printer (fixes Trac #7547)

This bug was making GHC loop when printing external core from test T7239.
De-tab PprExternalCore