Add seedrandom.js to /lib; Fixed cho3 inherit.html bug