Sublime Text plugin for Idris language