Plugging the color initialization in the Coqtop loop.