Merge pull request #16 from jumjum123/master

new options for Board and Terminal
Fix lint errors
Fix lint errors
Fix lint errors
Merge branch 'master' of github.com:espruino/EspruinoWebIDE

Conflicts:
	js/espruino_board.js
remove warning
fix problems shown up with 'strict'
now focus the terminal after the 'send' button is clicked. Other tweaks too
new Espruino.Modules.loadModules, change variable focus in espruino.scripts

- espruino_scripts
- defined variable tree locally in function createSelect
- espruino_modules
- replace Espruino.Modules.loadModules
- added a timeout of 5000 mSec to load modules
- use jQuerys deferred object
- loads modulName.js if modulName.min.js not found
- also loads from http(https) url like
require("http://www.myserver.com/espruino/mymodules/myfile.js").....
- changes url in source code to simple name before sending to board