Added Syntax for Dafny
Merge pull request #1182 from tvirgl/master

Dafny Syntax package