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