Bump :lang coq
Bump :lang coq

ProofGeneral/PG@9196749 -> ProofGeneral/PG@0f0bb2c
cpitclaudel/company-coq@f9dba9d -> cpitclaudel/company-coq@7ec8058

We're also transitioning from abbreviated SHA1 hashes to full ones. See
45cdfb125 for why.

Closes #3396

hlissner/.emacs.d,hlissner/.emacs.d,hlissner/doom-emacs,hlissner/doom-emacs,hlissner/doom-emacs,hlissner/doom-emacs,hlissner/.emacs.d,hlissner/doom-emacs,hlissner/doom-emacs,hlissner/.emacs.d,hlissner/.emacs.d,hlissner/.emacs.d,hlissner/.emacs.d,hlissner/doom-emacs,hlissner/.emacs.d