move to using WebIDE repo, not NPM - as it pulls in loads of modules that we won't use

Author: gfwilliams

README.md

@@ -28,7 +28,7 @@ git clone https://github.com/espruino/EspruinoHub
 cd EspruinoHub
 npm install
 # Optional: Install espruino-web-ide to allow the IDE to be used from the server
-npm install espruino-web-ide
+git clone https://github.com/espruino/EspruinoWebIDE
 # Give Node.js access to Bluetooth
 sudo setcap cap_net_raw+eip $(eval readlink -f `which node`)
 ```
@@ -38,6 +38,7 @@ sudo setcap cap_net_raw+eip $(eval readlink -f `which node`)
 **Note:** The instructions above assume you want to use Node-RED. If you don't
 then you can skip the Node-RED related parts.
 
+
 Usage
 -----
 

lib/http.js

@@ -171,7 +171,7 @@ exports.init = function() {
 
   // Handle Web IDE serving
   try {
-    pathToWebIDE = require.resolve('espruino-web-ide');
+    pathToWebIDE = require('path').resolve(__dirname, "../EspruinoWebIDE");
     if (require("fs").existsSync(pathToWebIDE))
       pathToWebIDE = pathToWebIDE.substr(0,pathToWebIDE.lastIndexOf("/"));
   } catch (e) {