Fixed latex-mode hooks and refined coq and emacs lips hooks.
Minor tweak to hook layouts.