Lexer 'Dafny' for CudaText editor (free)

[Alexey-T]

Today I made the Dafny lexer for CudaText. https://cudatext.github.io/
How to install:

• run editor, make sure Python is configured if it's non-Windows (option for Linux is "pylib__linux" in the user.json)
• menu item "Plugins / Addons Manager / Install", in the listbox type 'Dafny', ENTER
• restart editor

Lexer has code-tree support too.
If you want to tell me about issues in the lexer, welcome.