Fix up proc.js according to jshint
Improve proc8051.js with jshint
Add event-based utilities

Introduces an error/warning displayer and an autosaver using the new
attachChangeListener Editor API.