Make ProofGeneral.rcp work with Emacs >= 24.2. on OS X
Merge pull request #1736 from pasberth/master

Make ProofGeneral.rcp work with Emacs >= 24.2. on OS X