[vendor/github.js][xs]: tweak github.js so it works in web workers as well as browser.
[scripting,util][s]: scripting now has access to util libraries, recline.Backend.CSV.