Ocaml mode: better spacing.

Use regular width space instead of fixed-width space.
Coq mode: Better ++ sign.
Coq mode: slightly better tex output (spaces).
Coq mode: better printing of symbols := and &.
full.ml: correction + uniformisation with article.
Remove most overfull boxes.