Add color option in why3 prove

By default, color is set to false.

Also changes yellow color to cyan color for classification of CE because yellow is not readable on a white background.

@marche tell me if this corresponds to what you had in mind.