Better Web IDE

I finally got fed up with the hideous mess that the Web IDE now is.

I've just added a new branch to the IDE's repository: https://github.com/espruino/EspruinoWebIDE/tree/major_refactor

I'm basically starting from a blank canvas. I've:

• Moved everything into folders called unused
  
• Started off with what I hope is a simple base (https://github.com/espruino/EspruinoWebIDE/blob/major_refactor/js/espruino.js and https://github.com/espruino/EspruinoWebIDE/blob/major_refactor/js/plugins/_examplePlugin.js with https://github.com/espruino/EspruinoWebIDE/blob/major_refactor/js/core/config.js for storing configuration settings)
  
• Been re-adding functionality on top of the base in such a way that every feature (including terminal, editor, etc) is quite self-contained and in its own file. I'm aiming to get a bare minimum Web IDE working first.
  
• Tried at least partially to move everything back to a K&R coding style.
  
  

It's still not working properly, but I'd really appreciate it if people could take a look at the general layout and let me know what they think. This is the point at which stuff is being put back in, so now would be the time to make sure the base is as nice/simple/maintainable as possible.