Sublime Text plugin for Hugs98