Make the JSON encoding of Instructions more JSON-idiomatic.
Make the JSON encoding of Instructions more JSON-idiomatic.

This is done so that we can avoid the `for(var key in event)`
construct in `driver.js` which is both brittle and somewhat
non-deterministic.

duplode/threepenny-gui,duplode/threepenny-gui,duplode/threepenny-gui