Release v2.2.0

• Add option to specify the preferred dafny version for automatic installation
• Treat empty compiler/language server paths as unconfigured (use automatic installation)
• Accept .NET 6.0 as a supported platform
• Show verification progress messages (if available)
• Add option to configure Dafny's caching policy
• Fix the text selection for highlighted ghost statements
• Several improvements to the syntax highlighting