Moved the 'tools' part into a reusable library called EspruinoTools. See the Readme for more info
Merge branch 'master' of github.com:espruino/EspruinoWebIDE