Integration of Clafer Tools into Sublime Text 3