ci: fix test-installation

[texastony]

Issue #, if available: CI broken due to:

• Pushing to CodeArtifact always fails due to already existing version
• Test Installation Ubuntu Latest always fails due to GitHub removing .NET 3.1.x
• Purge always fails as it was aiming at the wrong package

Description of changes:

• Make the Unique Version a concatenation of Major.Minor.Patch-GitSha-YYYY-MM-DD.
  It will always succeed at least once a day
• Push with Skip Duplicate. Even if a version match occurs, testing with the published
  artifact will execute.
  This is very important as the purge will not run unless the tests succeed.
• Use actions/setup-dotnet@v3 to setup DotNet.
• Correct the package name in Purge

Squash/merge commit message, if applicable:
ci: restore test-installation workflow

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

[texastony]

For the first time ever, a successful purge from CA:

{
    "successfulVersions": {
        "3.1.0-ba2c5fe-2023-04-17": {
            "revision": "NpsLj3gd0Min3k3xHRWNKZnVeEu/s37jr5SycxpvSAU=",
            "status": "Deleted"
        }
    },
    "failedVersions": {}
}

[texastony]

I am so annoyed that the verification keeps timing out.
It is not relevant to this PR as no Dafny code nor dependencies were changed.