Update packaging for Emacs mode deletion

Proof General has been designated as the official interface to Coq, and
Coq no longer ships a separate Emacs mode. Update packaging to purge
references to the Emacs mode.