Add Sublime-Coq.