idris-1.1.0: jsrts/jsbn/jsbn-node.js

$JSRTS.jsbn = require('jsbn');