Changes to ghc

Changes to ghc:
commit ceb600de2e1892ee642de2df3f5892febe19b2bb
Author: Joachim Breitner <mail@joachim-breitner.de>
Date:   Fri Nov 29 18:44:31 2013 +0000

    Minor fix to example GHC plugin in the documentation