Better Counterexamples for Dafny Artifact

This artifact is to be submitted to the TACAS 2022 Conference and accompanies the paper titled "Better Counterexamples for Dafny". The artifact allows the reader to test the counterexample extraction feature within the Visual Studio Code IDE. The artifact contains the most recent version of the Dafny language (both the source and the binaries), the binaries for VS Code, relevant dependencies, and a directory with Dafny programs each corresponding to one of the examples presented in the paper in Table 1 and Figure 1.