Puck.js data logging

Ok, it's live now!

• https://www.espruino.com/ide/ (you may need to ctrl+reload the page to force it to load the new version)
  
• Settings -> General -> Terminal Log Icon
  
• There's a new icon in the left of the terminal. Click it and you can start logging, then later you can save to a file.
  
  

It doesn't 'stream' to a file, but realistically you could record hundreds of megabytes of data without running into any problems (and this way it's easy to integrate with the existing codebase)