chore(dafny): update project.properties and mpl submodule#1770

josecorella merged 2 commits intomainaws/aws-database-encryption-sdk-dynamodb:mainfrom

jocorell/pin-to-latest-tagaws/aws-database-encryption-sdk-dynamodb:jocorell/pin-to-latest-tagCopy head branch name to clipboard