Documenting use of colors in Coq.
Documenting the -color option.