Improve script URL ecoding

added some magic to get scripts to efficiently encoded into the URL.
We're using pako to compress the script, but this outputs to a 8bit
array. Stringifying this array adds a lot of overhead, because "125"
has three characters in it.
Instead we're using the character codes to turn these a bit numbers
into single characters base64 is used as well because not all of the
characters are allowed in a url (and b64 is better than
encodeURIComponent).

app/web/package.json

@@ -30,6 +30,7 @@
     "monaco-editor-webpack-plugin": "^1.9.1",
     "netlify-identity-widget": "^1.9.1",
     "opencascade.js": "^0.1.15",
+    "pako": "^2.0.3",
     "prop-types": "^15.7.2",
     "react": "^17.0.1",
     "react-dom": "^17.0.1",
@@ -44,10 +45,10 @@
     "three": "^0.118.3"
   },
   "devDependencies": {
-    "postcss": "^8.2.13",
     "autoprefixer": "^10.2.5",
     "html-webpack-plugin": "^4.5.0",
     "opentype.js": "^1.3.3",
+    "postcss": "^8.2.13",
     "postcss-loader": "4.0.2",
     "tailwindcss": "^2.1.2",
     "worker-loader": "^3.0.7"