Syntax highlighting in the formal specification language AnB for Sublime Text and TextMate