Adding a pretty-printing style library.
Plugging the color initialization in the Coqtop loop.