chore: Refer to renamed MPL libraries

[lucasmcdonald3]

Issue #, if available:

Description of changes:

• I changed the names of MPL libraries. This points ESDK-Python to the new names.
• The lucmcdon/python-mpl-v2 branch no longer commits generated Dafny. This makes it tough to test ESDK-Python. Point to a different branch that commits its generated Dafny.
  • This will be changed before release because PyPI does not let a package refer to dependencies on Github when a package is uploaded.

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

Check any applicable:

• Were any files moved? Moving files changes their URL, which breaks all hyperlinks to the files.