Dafny language support in Atom

Adds syntax highlighting to the verification language Dafny in Atom.

Originally converted from the Dafny Sublime Text package.

Installation

$ apm install language-dafny

Or, Atom → Settings → Install → language-dafny.