dafny: include correct filename in lint results

[benknoble]

Results can come from included files, not just the current buffer.

[benknoble]

/cc @hsanson

[stale]

This pull request has been automatically marked as stale because it has not been updated recently. Make sure to write tests and document your changes. See :help ale-dev for information on writing tests.
If your pull request is good to merge, bother w0rp or another maintainer again, and get them to merge it.

[benknoble]

/cc @w0rp

[stale]

This pull request has been automatically marked as stale because it has not been updated recently. Make sure to write tests and document your changes. See :help ale-dev for information on writing tests.
If your pull request is good to merge, bother w0rp or another maintainer again, and get them to merge it.

[benknoble]

Not stale. /cc @w0rp again

[stale]

This pull request has been automatically marked as stale because it has not been updated recently. Make sure to write tests and document your changes. See :help ale-dev for information on writing tests.
If your pull request is good to merge, bother w0rp or another maintainer again, and get them to merge it.

[benknoble]

Still not stale. /cc @w0rp

[hsanson]

Simple and seems correct.

[hsanson]

@benknoble thanks for the persistence. I avoid reviewing or merging stuff I don't use on a daily basis since I have no way to properly test it but this change is small enough and I believe you use this frequently so it must work as expected.