Setting error tag on generic errors returned by Coqtop.
Default styles for printing tags.

They should be rather sensible, but de gustibus & coloribus...