Use 0.13.0 CLI. Updated version to 0.1.2.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>

Author: Akos Kitta

arduino-debugger-extension/package.json

@@ -1,11 +1,11 @@
 {
   "name": "arduino-debugger-extension",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "description": "An extension for debugging Arduino programs",
   "license": "MIT",
   "dependencies": {
     "@theia/debug": "next",
-    "arduino-ide-extension": "0.1.1",
+    "arduino-ide-extension": "0.1.2",
     "cdt-gdb-adapter": "^0.0.14",
     "vscode-debugadapter": "^1.26.0",
     "vscode-debugprotocol": "^1.26.0"

arduino-ide-extension/package.json

@@ -1,6 +1,6 @@
 {
   "name": "arduino-ide-extension",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "description": "An extension for Theia building the Arduino IDE",
   "license": "MIT",
   "scripts": {

arduino-ide-extension/scripts/download-cli.js

@@ -10,7 +10,7 @@
 
 (() => {
 
-    const DEFAULT_VERSION = '0.13.0-rc2'; // require('moment')().format('YYYYMMDD');
+    const DEFAULT_VERSION = '0.13.0'; // require('moment')().format('YYYYMMDD');
 
     const path = require('path');
     const shell = require('shelljs');

browser-app/package.json

@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "browser-app",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "license": "MIT",
   "dependencies": {
     "@theia/core": "next",
@@ -19,8 +19,8 @@
     "@theia/process": "next",
     "@theia/terminal": "next",
     "@theia/workspace": "next",
-    "arduino-ide-extension": "0.1.1",
-    "arduino-debugger-extension": "0.1.1"
+    "arduino-ide-extension": "0.1.2",
+    "arduino-debugger-extension": "0.1.2"
   },
   "devDependencies": {
     "@theia/cli": "next"

electron-app/package.json

@@ -1,7 +1,7 @@
 {
   "private": true,
   "name": "electron-app",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "license": "MIT",
   "main": "src-gen/frontend/electron-main.js",
   "dependencies": {
@@ -21,8 +21,8 @@
     "@theia/process": "next",
     "@theia/terminal": "next",
     "@theia/workspace": "next",
-    "arduino-ide-extension": "0.1.1",
-    "arduino-debugger-extension": "0.1.1"
+    "arduino-ide-extension": "0.1.2",
+    "arduino-debugger-extension": "0.1.2"
   },
   "devDependencies": {
     "@theia/cli": "next"

package.json

@@ -1,6 +1,6 @@
 {
   "name": "arduino-editor",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "description": "Arduino Pro IDE",
   "repository": "https://github.com/bcmi-labs/arduino-editor.git",
   "author": "Arduino SA",