Sublime package for the miniscript language