Fix: Node CLI arguments for dafny to have the right order

[MikaelMayer]

This PR fixes #2867
Tests for C#, JavaScript and C++
I tried to spend some time to make it work for Java but it seems we don't have a standard procedure for launching programs, so I leave it unspecified for now.

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

[robin-aws]

Nice, thanks for the quick fix! My only ask is to explicitly call this out as a fix: release note. This could be considered a breaking change, but I think it's reasonable to say it was underspecified and this is clearly better behaviour.

I tried to spend some time to make it work for Java but it seems we don't have a standard procedure for launching programs, so I leave it unspecified for now.

That's fine for this PR, but FYI https://github.com/dafny-lang/dafny/blob/master/Test/comp/manualcompile/ManualCompile.dfy has the blueprint you're looking for. But I would also love to add support for command-line arguments to %testDafnyForEachCompiler :)

[MikaelMayer]

That's fine for this PR, but FYI https://github.com/dafny-lang/dafny/blob/master/Test/comp/manualcompile/ManualCompile.dfy has the blueprint you're looking for. But I would also love to add support for command-line arguments to %testDafnyForEachCompiler :)

Oh thanks, I did not know about this file ! That was very helpful.
I was able to add the tests for the remaining 3 back-ends in no time !

[keyboardDrummer]

than => as

I addressed all the points of @robin's review and got another approval.

[cpitclaudel]

Can we refine the release notes for this? It's hard to understand what this means without context (and reading the PR description doesn't help too much either)