Changes to ghc

Changes to ghc:
commit 7d958ce323e3433c9e996e1a240a5741bfcfc341
Author: Gabor Greif <ggreif@gmail.com>
Date:   Tue May 20 11:04:54 2014 +0200

    Tweaks to note; also fixed unicode quotes

    to regular ones.