configure: make -annotate fatal, and color error and warnings
configure: make -annotate fatal, and color error and warnings

Warnings are just too hard to see. Also there is no point keeping a
noop option except to point people at the replacement, which does not
require configure to succeed.

Matafou/coq,Zimmi48/coq,coq/coq,silene/coq,ppedrot/coq,maximedenes/coq,maximedenes/coq,Matafou/coq,ejgallego/coq,JasonGross/coq,SkySkimmer/coq,ejgallego/coq,maximedenes/coq,SkySkimmer/coq,ppedrot/coq,JasonGross/coq,gares/coq,SkySkimmer/coq,coq/coq,Zimmi48/coq,gares/coq,ppedrot/coq,ppedrot/coq,ejgallego/coq,ppedrot/coq,gares/coq,silene/coq,Matafou/coq,JasonGross/coq,maximedenes/coq,Zimmi48/coq,SkySkimmer/coq,Zimmi48/coq,coq/coq,gares/coq,coq/coq,ejgallego/coq,JasonGross/coq,maximedenes/coq,gares/coq,silene/coq