Upgrade vscode-dotty dependencies

Bump version to 0.1.3.
Now requires vscode >= 1.15.0.

Author: smarter

project/Build.scala

@@ -902,7 +902,7 @@ object Build {
     settings(commonSettings).
     settings(
       EclipseKeys.skipProject := true,
-      version := "0.1.2", // Keep in sync with package.json
+      version := "0.1.3", // Keep in sync with package.json
 
       autoScalaLibrary := false,
       publishArtifact := false,