Publish empty verification list (dafny-lang#2552)

Fixes "Verification completed" not showing for Dafny files that don't have any verifiable tasks.

Fix file paths

Try to fix python version

feat: Allow users to plug in custom compilers (dafny-lang#1894)

* docs: Replace reference to `php` with entry for Python
* compiler: Refactor to use new plugin infrastructure

chore: Bump version to 3.4.2 (dafny-lang#1844)

chore: Bump version to 3.4.1 (dafny-lang#1825)

pre release 3.4.0 (dafny-lang#1706)

* pre release 3.4.0

pre release 3.4.0 (dafny-lang#1706)

* pre release 3.4.0

chore: Fix version number in attributes (dafny-lang#1525)

chore: Fix version number in attributes (dafny-lang#1525)