updated to vscode-languageclient 3.0;

--- a/src/Tools/VSCode/extension/package.json	Thu Mar 09 21:08:41 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Thu Mar 09 21:09:45 2017 +0100
@@ -156,6 +156,6 @@
         "@types/mocha": "^2.2.32"
     },
     "dependencies": {
-        "vscode-languageclient": "^2.6.3"
+        "vscode-languageclient": "3.0.x"
     }
 }
\ No newline at end of file

--- a/src/Tools/VSCode/extension/src/extension.ts	Thu Mar 09 21:08:41 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Thu Mar 09 21:09:45 2017 +0100
@@ -5,7 +5,7 @@
 import * as os from 'os';
 import * as decorations from './decorations';
 import { Decoration } from './decorations'
-import { LanguageClient, LanguageClientOptions, SettingMonitor, ServerOptions, TransportKind }
+import { LanguageClient, LanguageClientOptions, SettingMonitor, ServerOptions, TransportKind, NotificationType }
   from 'vscode-languageclient';
 
 
@@ -41,7 +41,9 @@
     decorations.init(context)
     vscode.window.onDidChangeActiveTextEditor(decorations.update_editor)
     vscode.workspace.onDidCloseTextDocument(decorations.close_document)
-    client.onNotification<Decoration>({method: "PIDE/decoration"}, decorations.apply_decoration)
+    client.onReady().then(() =>
+      client.onNotification(
+        new NotificationType<Decoration, void>("PIDE/decoration"), decorations.apply_decoration))
 
     context.subscriptions.push(client.start());
   }

--- a/src/Tools/VSCode/src/protocol.scala	Thu Mar 09 21:08:41 2017 +0100
+++ b/src/Tools/VSCode/src/protocol.scala	Thu Mar 09 21:09:45 2017 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Tools/VSCode/src/protocol.scala
     Author:     Makarius
 
-Message formats for Language Server Protocol 2.0, see
+Message formats for Language Server Protocol 3.0, see
 https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md
 */