Add opam-switch-mode to  lang: coq and fix configuration of opam-switch-mode in lang: ocaml#8132

jeremyThibault wants to merge 5 commits into

doomemacs:masterdoomemacs/core:masterfrom

jeremyThibault:masterjeremyThibault/doomemacs:masterCopy head branch name to clipboard