Dafny pygments lexer stored in pygmentize.py implemented by:
pygmentize.py
https://github.com/Locke/pygments-dafny/