new options for Board and Terminal

- espruino.process
  - added handling of unknwon options (used in case of new options since
last save)
- espruino.board
  - added initOptions section
  - fixed error if no parameter exists
  - added event handling based on options (switchOptions)
- new file Espruino_Board.html in data directory
- espruino.options
  - added onLoaded handling on optionBlocks
- espruino_terminal
  - added optionblock for terminal
  - added save code locally on send in options, default true
- new file Espruino_Terminal in data directory
- terminal
  - added if statement for autoSave in click function of send button
- credit part in options
  - added credit for treeview, used in espruino.board
  - added links to all lines