Adding notation terminals to coqtop highlight.