Add Sublime-Coq