Adding a terminal library.
Adding a pretty-printing style library.
Plugging the color initialization in the Coqtop loop.
Setting a keyword tag in Ppconstr.