Changes to ghc

Changes to ghc:
commit f9892b24c740628a54f5ebdd89e2fd5f72590522
Author: Richard Eisenberg <eir@cis.upenn.edu>
Date:   Mon Jan 13 20:32:35 2014 -0500

    Regenerate core-spec.pdf.

    This applies the changes in commit
    a924debcbb3dc5c004f988fcc1b480a01ba276dd to the PDF file.