Sublime Text 3 syntax highlighting for Promela SPIN.