Dafny Go Compiler emits code compatible with v0/v1, but this library has no v0/v1

[ShubhamChaturvedi7]

Dafny-Go Compiler emits code compatible with v0/v1 github.com/dafny-lang/DafnyRuntimeGo such as _System "github.com/dafny-lang/DafnyRuntimeGo/System_" but this repo has an empty v0/v1 causing the go mod to fail with github.com/dafny-lang/DafnyRuntimeGo/dafny: module github.com/dafny-lang/DafnyRuntimeGo@latest found (v0.0.0-20240628230142-ef4bf9d673db), but does not contain package github.com/dafny-lang/DafnyRuntimeGo/dafny

And v4 is not usable due to #1 .

This renders this whole library unusable and any go mod compatible code emitted by Dafny-Go compiler will fail to compile.

[robin-aws]

Fixed by dafny-lang/dafny#5826