Update ProofGeneral to version 4.2
ProofGeneral: remove dead code (compatibility with emacs 23).
Merge pull request #407 from maggesi/proofgeneral_updates

Update ProofGeneral to version 4.2
haskell-cuda: add version 0.5.0.1
haskell-circle-packing: add myself as maintainer
haskell-hakyll: update to version 4.2.2.0