local terminal feature
Implemented color themes
Temporarily got rid of Address Bar
Disabled spellcheck
implemented "remember my last directory" feature
replaced term.js with a newer version
refactored Storage mechanisms
changed behaviour of Cmd+v, Cmd+c, etc on Mac
renamed BasicPlugin -> DevtoolsTerminal
Added a menu, got rid of the address bar.
Refactored plugin's code
bug fix
edited manifest