Add Sublime-Coq.
Merge pull request #3206 from whitequark/master

Add Sublime-Coq