Make it easy for Dafny projects to reference other Dafny projects as dependencies.

Contains support for:

• Remote dependencies
• Dependencies with dependencies
• Handling version conflicts
• Mechanisms to prevent the consumption of unverified libraries