New Version supporting options, connection to Espruino in github, minify etc

New in WebEdit:
- additional permissions in manifest.json ("app.window", "storage")
- new module Espruino.Scripts
- redirection of load button
- mini form below buttons with
- icon for load (to old load function)
- selectbox for tutorials, onchange opens new window
- selectbox for scripts, onchange copies script to editor
- global variables for loading tutorials
- global variables for loading scripts
- new module Espruino.Options
- new button (info) above editor window
- opens accordion with
- some words about Espruino, you will know better what to write there
- credits to other Open Source writer
- formular for general options, right now startmode
- formular for loading tutorials and scripts
- formular for interface to Espruino, right now minify, not supported
yet
- options tabs open buttonlist for laod, save and reset
- global functions
- save Options locally
- load Options locally
- load Options from File
- save Options to File
- reset Formular to actual options
- in init startmode is used to switch editor or blockly
- an additional html like file holding formular in HTML
- option-fields object describes how to treat option fields
- new module Espruino.Minify
- global function minifyCode
- global flag for sendMinified
- global variable for compilationLevel
- global function for minify
- additional in Espruino.General
- global variable for startMode(Script or graphical)
- global function for isWindows (copied from terminal.js, terminal.js
not changed)
- global function for convertFromOS (copied from terminal.js,
terminal.js not changed)
- global function for convertFromOS (copied from terminal,js,
terminal.js not changed)
- changes in main.html
- load scripts
- espruino_scripts.js
- espruino_options.js
- espruino_minify.js
- new button above editor window on right (info), opens
info/credit/options formular
- additional div, needed for Espruino.Scripts
- changes in terminal.js
- add call to minify if sendMinified is true in button.click for send
button
Actual changes from espruino/EspruinoWebIDE
More actual changes from espruino/EspruinoWebIDE
Merge branch 'master' of https://github.com/jumjum123/EspruinoWebIDE into jumjum123-master

Conflicts:
	main.html
	manifest.json
Pulled out 'modules' code and added options for it