Add jsonlint updater

package.json

@@ -9,6 +9,7 @@
     "codemirror": "^5.39.0",
     "eslint": "^5.1.0",
     "fs-extra": "^7.0.0",
+    "jsonlint": "^1.6.3",
     "updates": "^3.2.3"
   },
   "scripts": {

tools/update-libraries.js

@@ -37,6 +37,9 @@ const files = {
     'mode/javascript',
     'mode/stylus',
     'theme'
+  ],
+  'jsonlint': [
+    'lib/jsonlint.js → jsonlint.js'
   ]
 };
 
@@ -48,8 +51,9 @@ async function updateReadme(lib) {
 }
 
 async function copy(lib, folder) {
+  const [src, dest] = folder.split(/\s*→\s*/);
   try {
-    await fs.copy(`${root}/node_modules/${lib}/${folder}`, `${root}/vendor/${lib}/${folder}`);
+    await fs.copy(`${root}/node_modules/${lib}/${src}`, `${root}/vendor/${lib}/${dest || src}`);
   } catch (err) {
     exit(err);
   }

vendor/jsonlint/README.md

@@ -0,0 +1,3 @@
+## v0.0.0
+
+Jsonlint version installed via npm - source repo https://github.com/zaach/jsonlint