chore: rename EncryptionSdk Dafny module name

[rishav-karanjit]

Issue #, if available:

Description of changes:

• Applying the diff from chore: Rename EncryptionSdk Dafny module name #707 to Golang/dev branch because it would take time to merge from mainline which could be done later.
• rename EncryptionSdk in the makefile as well for SED replacement (This was not there in main because main is only for .NET and Rust which does not need SED replacement).

How I tested it

• Took diff from this PR and from chore: Rename EncryptionSdk Dafny module name #707 and compared it which is nearly the same. Diffs:
  • https://github.com/aws/aws-encryption-sdk-dafny/pull/713.diff
  • https://github.com/aws/aws-encryption-sdk-dafny/pull/707.diff
• Polymoph'ed and transpile'ed go and all test passed with no manual runtime changes.

Squash/merge commit message, if applicable:

chore: rename EncryptionSdk Dafny module name

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

[ShubhamChaturvedi7]

Fix the CI otherwise changes LGTM.