Use core-js from npmjs.com

debian/patches/0740-use-packaged-modules.patch

@@ -1,6 +1,6 @@
 --- a/package.json
 +++ b/package.json
-@@ -38,32 +38,12 @@
+@@ -38,32 +38,13 @@
      "apollo-client": "^2.5.1",
      "apollo-upload-client": "^10.0.0",
      "at.js": "^1.5.4",
@@ -15,7 +15,7 @@
      "clipboard": "^1.7.1",
      "codesandbox-api": "^0.0.20",
      "compression-webpack-plugin": "^2.0.0",
--    "core-js": "^2.4.1",
+     "core-js": "^2.4.1",
      "cropper": "^2.3.0",
 -    "css-loader": "^1.0.0",
 -    "d3": "^4.13.0",
@@ -33,7 +33,7 @@
      "deckar01-task_list": "^2.2.0",
      "diff": "^3.4.0",
      "document-register-element": "1.13.1",
-@@ -71,37 +51,20 @@
+@@ -71,37 +52,20 @@
      "echarts": "^4.2.0-rc.2",
      "emoji-regex": "^7.0.3",
      "emoji-unicode-version": "^0.2.1",
@@ -71,7 +71,7 @@
      "sanitize-html": "^1.16.1",
      "select2": "3.5.2-browserify",
      "sha1": "^1.1.1",
-@@ -113,28 +76,17 @@
+@@ -113,28 +77,17 @@
      "stylelint-error-string-formatter": "1.0.2",
      "svg4everybody": "2.1.9",
      "three": "^0.84.0",