Updates to write-rust-bytecode.js; minor bugfix to binterp.js.

This version of the source generates the files in rusty-turtle commit
834cbccbb1749adafd4fba8a3860dbb240e47662.