Add button to reload loaded .js file
try and improve flasher - few more error messages, check chrome version. Also try and document Options module
Fix #20 - binary numbers reported with errors
Merge branch 'master' of https://github.com/jumjum123/EspruinoWebIDE into jumjum123-master

Conflicts:
	js/espruino_options.js
better console log messages
Now output whatever was in our buffer that wasn't part of the process info
Finally added option for tutorials
bump version
fix broken update button
make sure Web IDE doesn's just stop working when it encounters a badly formatted result
update links
Make it optional to show the reload button
Merge pull request #29 from Granjow/reloadButton

Reload button
Now check for a prompt on connect. If we find one, we don't need to Ctrl-C
Merge branch 'master' of github.com:espruino/EspruinoWebIDE
added handler for alt enter
update jQuery and fix bug with Chrome v33 on OSX
Merge branch 'master' of github.com:espruino/EspruinoWebIDE
Used 'proper' lexer to parse require statements (fix #32)
Added slightly insane code to stop inferior coding styles causing problems with Espruino