ev3.js: update checked-in copies to the latest version