Support @documentation for Dafny

[robin-aws]

We've implemented this for at least Java and Rust IIRC, but not Dafny itself yet. This should generate Dafny documentation comments.