[emacs] assimilate Proof General (for Coq)