Removing deprecated code handling color in Pp.
Reworking the -color flag of coqtop.
Additional style tags for constrs.