sync with CoffeeScript repos (integrating new REPL).