Update sources and regenerate tv4.js.