ProofGeneral: remove dead code (compatibility with emacs 23).