Add Proof General
Recompile Proof General for Emacs 24.3
Add Proof General to Emacs